Yang Yang, Charles Dierbach. A translator for the conversion of graphical geometric figures to first-order logic description. In Roger Y. Lee, editor, Computers and Their Applications (CATA-99), Proceedings of the ISCA 14th International Conference, Cancun, Mexico, April 7-9, 1999. pages 358-361, ISCA, 1999.
Abstract is missing.