Nonnengart, A., & Weidenbach, C. (2001). Computing small clause normal forms. In A., Robinson, & A., Voronkov (Eds.), Handbook of Automated Reasoning (pp. 335-367). Amsterdam: Elsevier.