Computing Small Clause Normal Forms (2001)

by A Nonnengart, C Weidenbach
Venue:Handbook of Automated Reasoning