Tractable Deduction in Knowledge Representation Systems

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

Bibliographies