MA Look at TPS (0)

by Dale A Miller, Eve Longini Cohen, Peter B Andrews
Venue:in 6th Conference on Automated Deduction, edited by Donald W