The theoretical foundations of LPTP (a logic program theorem prover) (1998)

Cached

Download Links

by Robert F. Stärk
Venue:J. of Logic Programming
Citations:18 - 2 self