Reasoning with logic programming - Alferes Jose Julio; Pereira Luis Moniz (Berlin Springer-Verlag, 1996)
Keywords: Artificial intelligence; Logic programming; Mathematical logic