Author Info
Name
Affiliation
Papers
GEORGE A. ROBINSON
The University of Wisconsin, Madison, Wisconsin and Argonne National Laboratory, Argonne, Illinois
2
Collaborators
Citations 
PageRank 
3
251
204.49
Referers 
Referees 
References 
248
5
4
Search Limit
100248
Title
Citations
PageRank
Year
The Concept of Demodulation in Theorem Proving9450.361967
Efficiency and Completeness of the Set of Support Strategy in Theorem Proving157154.121965