On Generating Small Clause Normal Forms

@inproceedings{pub1606,
    author = {

Nonnengart, Andreas
 and 

Rock, Georg
 and 

Weidenbach, Christoph
},
    title = {On Generating Small Clause Normal Forms},
    booktitle = {Proceedings of the 15th International Conference on Automated Deduction, CADE98. International Conference on Automated Deduction (CADE)},
    series = {LNCS},
    year = {1998},
    volume = {1421},
    pages = {397--411},
    publisher = {Springer}
}