1. Philippe Cara, Serge Lehman, and Dmitrii V. Pasechnik, On the number of inductively minimal geometries, Theoret. Comput. Sci. 263 (2001), no. 1-2, 31–35.[MR]