Title: The associative evaluation of logic programs and heuristic search techniques
First published: 1993