LGS: Geometric Constraint Solver. - Alexey Ershov; Ilia Ivanov; Serge Preis; Eugene Rukoleev; Dmitry Ushakov (Ershov Memorial Conference, 2003)