The applicability of logic program analysis and transformation to theorem proving (1994)

Cached

Download Links

by D. A. Waal , J. Gallagher
Venue:Automated Deduction—CADE-12
Citations:3 - 0 self