Tractable Deduction in Knowledge Representation Systems

Mukesh Dalal. Tractable Deduction in Knowledge Representation Systems. In KR. pages 393-402, 1992.

Abstract

Abstract is missing.