An Inference Engine for Propositional Two-valued Logic Based on the Radical Membership Problem.

Eugenio Roanes-Lozano, Luis M. Laita, Eugenio Roanes-Macas

Browse the full AISC paper archive.