THALES: a Software Package for Plane Geometry Constructions with a Natural Language Interface K Fabricz author Z Alexin author T Gyimothy author T Horvath author 1990 text COLING 1990 Volume 1: Papers presented to the 13th International Conference on Computational Linguistics conference publication fabricz-etal-1990-thales https://aclanthology.org/C90-1007/ 1990