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

by
Robert F. Stärk

Venue: | J. of Logic Programming |

Citations: | 21 - 2 self |