Negation as Failure. Completeness of the Query Evaluation Process for Horn Clause Programs with Recursive Definitions.

C. Aquilano Roberto Barbuti P. Bocchetti Maurizio Martelli Negation as Failure. Completeness of the Query Evaluation Process for Horn Clause Programs with Recursive Definitions. 155-170 1986 2 J. Autom. Reasoning 2 db/journals/jar/jar2.html#AquilanoBBM86