Author Info
Name
Papers
Collaborators
ORTRUN IBES
1
0
Citations 
PageRank 
Referers 
0
0.34
0
Referees 
References 
4
2
Title
Citations
PageRank
Year
Automated Theorem Proving with Disjunctive Constraints00.341999