Tractable Instances of Some Hard Deduction Problems.

Mukesh Dalal

Browse the full ECAI paper archive.