An Overview of the Tecton Proof System (1992)

Cached

Download Links

by Deepak Kapur , David R. Musser , Xumin Nie
Citations:15 - 6 self