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,
}