@INCOLLECTION{NonnengartWeidenbach01handbook,
        AUTHOR             = {Nonnengart, Andreas and Weidenbach, Christoph},
        EDITOR             = {Robinson, Alan and Voronkov, Andrei},
        TITLE              = {{Computing Small Clause Normal Forms}},
        BOOKTITLE          = {Handbook of Automated Reasoning},
        PUBLISHER          = {Elsevier},
        YEAR               = {2001},
        ADDRESS            = {Amsterdam, Netherlands},
        CHAPTER            = {6},
        PAGES              = {335 -- 367}
}