Hans Jürgen Ohlbach Andreas Nonnengart Maarten de Rijke Dov M. Gabbay Encoding Two-Valued Nonclassical Logics in Classical Logic. 1403-1486 2001 books/el/RobinsonV01 Handbook of Automated Reasoning db/books/collections/RobinsonV01.html#OhlbachNRG01