Thomas Christof Gerhard Reinelt Decomposition and Parallelization Techniques for Enumerating the Facets of Combinatorial Polytopes. 423-437 2001 11 Int. J. Comput. Geometry Appl. 4 db/journals/ijcga/ijcga11.html#ChristofR01