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

Eugenio Roanes-Lozano Luis M. Laita Eugenio Roanes-Macías An Inference Engine for Propositional Two-valued Logic Based on the Radical Membership Problem. 71-86 1996 conf/aisc/1996 AISMC db/conf/aisc/aismc1996.html#Roanes-LozanoLR96