@InCollection{NW01, Author = "Nonnengart, A. and Weidenbach, C.", Year = "2001", Title = "{Computing Small Clause Normal Forms}", Editor = "Robinson, A. and Voronkov, A.", BookTitle = "{Handbook of Automated Reasoning}", Pages = "335-367", Publisher = "Elsevier Science", Comment = "" }