On the Complexity of Clause Condensing

Bibliographic Details
Main Author: Gottlob, G
Format: Conference item
Published: Springer 1991