Publication
Detail
Publication date: 01/01/2007Termination of logic programs with imperfect information: applications and query procedure
| Journal | Journal of Applied Logic |
|---|---|
| Publisher | Elsevier |
| Volume | 5 |
| Number | 3 |
| Journal | Journal of Applied Logic |
| Publisher | Elsevier |
| Volume | 5 |
| Number | 3 |