Clausal Rewriting: Applications and Implementation.

Robert Nieuwenhuis Fernando Orejas

Published in: ADT (1990)

Keyphrases

artificial intelligence
learning algorithm
website
case study
search space
programming language
logic programming
temporal resolution
rewrite rules