Three Theorems, with Computer-Aided Proofs, on Three-Dimensional Faces and Quotients of Polytopes.

G. Meisinger Peter Kleinschmidt Gil Kalai Three Theorems, with Computer-Aided Proofs, on Three-Dimensional Faces and Quotients of Polytopes. 413-420 2000 24 Discrete & Computational Geometry 2-3 http://dx.doi.org/10.1007/s004540010045 db/journals/dcg/dcg24.html#MeisingerKK00