C. Aquilano

Publication Activity (10 Years)

Years Active: 1986-1986
Publications (10 Years): 0

Publications

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