Booleguru, the Propositional Polyglot (Short Paper).

Maximilian Heisinger, Simone Heisinger, Martina Seidl

Browse the full IJCAR paper archive.