Login / Signup
P. Bocchetti
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)