Paper Info
Title
Proof Search (Tutorial).
Year
Venue
DocType
1994
ICLP Workshop: Proof-Theoretical Extensions on Logic Programming
Conference
Citations 
PageRank 
References 
0
0.34
0
Authors
2
Name
Order
Citations
PageRank
Roy Dyckhoff145249.09
Natarajan Shankar23050309.55