Building Theories into Instantiation.

Alan M. Frisch, C. David Page Jr.

Browse the full IJCAI paper archive.