Title
The completeness of gp-resolution for annotated logics
Year
DOI
Venue
1992
10.1016/0020-0190(92)90053-X
Inf. Process. Lett.
Keywords
Field
DocType
annotated logic
Artificial intelligence,Rule of inference,Completeness (statistics),Semantics,Mathematics
Journal
Volume
Issue
ISSN
44
3
0020-0190
Citations 
PageRank 
References 
10
2.76
3
Authors
2
Name
Order
Citations
PageRank
James J. Lu1520118.05
Lawrence J. Henschen2478280.94