Negation as Failure. Completeness of the Query Evaluation Process for Horn Clause Programs with Recursive Definitions. - C. Aquilano; Roberto Barbuti; P. Bocchetti; Maurizio Martelli (J. Autom. Reason., 1986)