OTTER Proofs in Tarskian Geometry.

Michael Beeson, Larry Wos

Browse the full CADE paper archive.