Search results for: Harald Ganzinger
Lecture Notes in Computer Science > TAPSOFT '89 > 244-258
Lecture Notes in Computer Science > Automated Deduction—CADE-18 > Combination of Decision Procedures > 332-346
Lecture Notes in Computer Science > Automated Reasoning > Equational Theorem Proving and Term Rewriting > 514-528