Sven Kosub. Boolean NP-Partitions and Projective Closure. In Cristian Calude, Michael J. Dinneen, Vincent Vajnovszki, editors, Discrete Mathematics and Theoretical Computer Science, 4th International Conference, DMTCS 2003, Dijon, France, July 7-12, 2003. Proceedings. Volume 2731 of Lecture Notes in Computer Science, pages 225-236, Springer, 2003. [doi]
Abstract is missing.