title = The interaction between truth maintenance, equality, and pattern-directed invocation: Issues of completeness and efficiency (1 entries) Select: All None Action: Show BibTeX
x$Id: bibtex.php,v 1.59 2021/01/12 08:36:11 dyuret Exp $ download