@INCOLLECTION{NonnengartOhlbachGabbay2001,
        AUTHOR             = {Ohlbach, Hans J{\"u}rgen and Nonnengart, Andreas and de Rijke, Maarten and Gabbay, Dov},
        EDITOR             = {Robinson, Alan and Voronkov, Andrei},
        TITLE              = {{Encoding Two-Valued Nonclassical Logics in Classic Logic}},
        BOOKTITLE          = {Handbook of Automated Reasoning},
        PUBLISHER          = {Elsevier},
        YEAR               = {2001},
        ADDRESS            = {Amsterdam, Netherlands},
        PAGES              = {1403 -- 1485},
        CHAPTER            = {21}
}