@InProceedings{Tar59,
    Author       = "Tarski, A.",
    Year         = "1959",
    Title        = "{What is Elementary Geometry?}",
    Editor       = "Henkin, L.",
    BookTitle    = "{Proceedings of an International Symposium. The axiomatic
                    method with special reference to geometry and physics}",
    Comment      = "TPTPRef"
}