Nonrealizability Proofs in Computational Geometry. - Bokowski, Jürgen; Richter, Jürgen; Sturmfels, Bernd (Discret. Comput. Geom., 1990)