TouIST: a Friendly Language for Propositional Logic and More.

Jorge Fernandez, Olivier Gasquet, Andreas Herzig, Dominique Longin, Emiliano Lorini, Frdric Maris, Pierre Rgnier

Browse the full IJCAI paper archive.