A look at TPS

6th Conference on Automated Deduction - Lecture Notes in Computer Science ◽

10.1007/bfb0000051 ◽

2005 ◽

pp. 50-69 ◽

Cited By ~ 6

Author(s):

Dale A. Miller ◽

Eve Longini Cohen ◽

Peter B. Andrews

Download Full-text