Alexey Ershov, Ilia Ivanov, Serge Preis, Eugene Rukoleev, Dmitry Ushakov. LGS: Geometric Constraint Solver. In Manfred Broy, Alexandre V. Zamulin, editors, Perspectives of Systems Informatics, 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers. Volume 2890 of Lecture Notes in Computer Science, pages 423-430, Springer, 2003. [doi]
Abstract is missing.