A Unit Resolution-Based Approach to Tractable and Paraconsistent Reasoning.

Sylvie Coste-Marquis, Pierre Marquis

Browse the full ECAI paper archive.