Author Info
Name
Affiliation
Papers
N EISINGER
UNIV KAISERSLAUTERN, FACHBEREICH INFORMAT, D-6750 KAISERSLAUTERN, FED REP GER
1
Collaborators
Citations 
PageRank 
0
12
3.26
Referers 
Referees 
References 
19
13
12
Title
Citations
PageRank
Year
What you always wanted to know about clause graph resolution123.261986