G. Meisinger, Peter Kleinschmidt, Gil Kalai. Three Theorems, with Computer-Aided Proofs, on Three-Dimensional Faces and Quotients of Polytopes. Discrete & Computational Geometry, 24(2-3):413-420, 2000. [doi]
@article{MeisingerKK00,
title = {Three Theorems, with Computer-Aided Proofs, on Three-Dimensional Faces and Quotients of Polytopes},
author = {G. Meisinger and Peter Kleinschmidt and Gil Kalai},
year = {2000},
url = {http://link.springer.de/link/service/journals/00454/bibs/0024002/00240413.html},
researchr = {https://researchr.org/publication/MeisingerKK00},
cites = {0},
citedby = {0},
journal = {Discrete & Computational Geometry},
volume = {24},
number = {2-3},
pages = {413-420},
}