@article{DCG_1990__5_2_131121,
     author = {B. Sturmfels and J. Bokowski and J. Richter},
     title = {Nonrealizability {Proofs} in {Computational} {Geometry.}},
     journal = {Discrete & computational geometry},
     pages = {333--350},
     publisher = {mathdoc},
     volume = {5},
     number = {2},
     year = {1990},
     zbl = {0699.05018},
     url = {http://geodesic.mathdoc.fr/item/DCG_1990__5_2_131121/}
}