A Domain Reasoner for Propositional Logic

Josje Lodder, Bastiaan Heeren, Johan Jeuring. A Domain Reasoner for Propositional Logic. J. UCS, 22(8):1097-1122, 2016. [doi]