Theory Resolution: Building in Nonequational Theories

Mark E. Stickel. Theory Resolution: Building in Nonequational Theories. In AAAI. pages 391-397, 1983.

Abstract

Abstract is missing.