Theory Resolution: Building in Nonequational Theories.

Mark E. Stickel

Browse the full AAAI paper archive.