A Prolog TechnologyTheorem Prover (1990)

by M Stickel
Venue:ProcCADE 10, LNCS 449