Theorem Proving Support for . . . (2000)

Cached

Download Links

by Deepak Kapur
Venue:WORKSHOP ON FIRST-ORDER THEOREM PROVING