Publication

On Generating Small Clause Normal Forms

Andreas Nonnengart, Georg Rock, Christoph Weidenbach

In: Proceedings of the 15th International Conference on Automated Deduction, CADE98. International Conference on Automated Deduction (CADE) Pages 397-411 LNCS 1421 Springer 1998.

http://www.dfki.de/vse/papers/nrw98.ps.gz (gz, 56 KB)

German Research Center for Artificial Intelligence
Deutsches Forschungszentrum für Künstliche Intelligenz