Hans Jürgen Ohlbach;Graham Wrightson
-;-
Encoding two-valued nonclassical logics in classical logic
Handbook of automated reasoning