@INPROCEEDINGS{nonnengartEtAlCADE98,
        AUTHOR             = {Andreas Nonnengart and Georg Rock and Christoph Weidenbach},
        BOOKTITLE          = {Proceedings of the 15th CADE},
        EDITOR             = {Claude Kirchner and H\'el\`ene Kirchner},
        PAGES              = {397--411},
        PUBLISHER          = {Springer Verlag, LNAI 1421},
        TITLE              = {On Generating Small Clause Normal Forms},
        YEAR               = {1998}
}