Small f-vectors of 3-spheres and of 4-polytopes. - Philip Brinkmann; Günter M. Ziegler (Math. Comput., 2018)