On Mechanical Theorem Proving in Minkowskian Plane Geometry

Shang-Ching Chou, Hai-Ping Ko

Browse the full LICS paper archive.