Detail

Publication date: 01/01/2007

Termination of logic programs with imperfect information: applications and query procedure

Authors

Carlos Viegas Damásio, Manuel Ojeda-Aciego,

Journal Journal of Applied Logic
Publisher Elsevier
Volume 5
Number 3
Journal Journal of Applied Logic
Publisher Elsevier
Volume 5
Number 3