Tractable Deduction in Knowledge Representation Systems.

Mukesh Dalal

Browse the full KR paper archive.