Computing small clause normal forms (0)

by Andreas Nonnengart, Christoph Weidenbach
Venue:In Robinson and Voronkov [24], chapter 6