Beyond the Clause

Encoding and inference in clause-combining