Termination of logic programs with imperfect information: applications and query procedure
- Damásio, C.V.
- Medina, J.
- Ojeda-Aciego, M.
ISSN: 1570-8683
Année de publication: 2007
Volumen: 5
Número: 3
Pages: 435-458
Type: Article
ISSN: 1570-8683
Année de publication: 2007
Volumen: 5
Número: 3
Pages: 435-458
Type: Article