Author Info
Name
Affiliation
Papers
M MARTELLI
CNUCE-CNR Pisa Italy
1
Collaborators
Citations 
PageRank 
3
8
1.22
Referers 
Referees 
References 
13
10
5
Title
Citations
PageRank
Year
Negation as failure. Completeness of the query evaluation process for Horn clause programs with recursive definitions81.221986