Login / Signup
Automatic Termination Proofs for Prolog Programs Operating on Nonground Terms.
Lutz Plümer
Published in:
ISLP (1991)
Keyphrases
</>
prolog programs
term extraction
databases
search space
logic programs
data driven
information systems