## Shang-Ching Chou, Hai-Ping Ko

*On Mechanical Theorem Proving in Minkowskian Plane Geometry*

LICS, 1986.

@inproceedings{LICS-1986-ChouK, author = "Shang-Ching Chou and Hai-Ping Ko", booktitle = "{Proceedings of the First Symposium on Logic in Computer Science}", isbn = "0-8186-0720-3", pages = "187--192", publisher = "{IEEE Computer Society}", title = "{On Mechanical Theorem Proving in Minkowskian Plane Geometry}", year = 1986, }