Nonrealizability Proofs in Computational Geometry. B. Sturmfels, J. Bokowski, J. Richter (1990) Discrete & computational geometry