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

by R F Stark
Venue:Journal of Logic Programming