Proceedings-Artikel
On Generating Small Clause Normal Forms
Andreas Nonnengart; Georg Rock; Christoph Weidenbach
In: Proceedings of the 15th International Conference on Automated Deduction, CADE98. Pages 397-411, LNCS, Vol. 1421, Springer, 1998.