Nonnengart, A., Ohlbach, H. J., & Gabbay, D. M. (2001). Encoding two-valued non-classical logics in classic logic. In A., Robinson, & A., Voronkov (Eds.), Handbook of Automated Reasoning (pp. 1403-1486). Amsterdam, the Netherlands: Elsevier.