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]

Authors

Josje Lodder

This author has not been identified. Look up 'Josje Lodder' in Google

Bastiaan Heeren

This author has not been identified. It may be one of the following persons: Look up 'Bastiaan Heeren' in Google

Johan Jeuring

This author has not been identified. It may be one of the following persons: Look up 'Johan Jeuring' in Google