A Look at TPS (1982)

by Dale A Miller, Eve Longini Cohen, Peter B Andrews
Venue:in “The 6th Conference on Automated Deduction” edited by Donald W. Loveland. LNCS 138