Victor Pambuccian Ternary Operations as Primitive Notions for Constructive Plane Geometry IV. 76-86 1994 40 Math. Log. Q. db/journals/mlq/mlq40.html#Pambuccian94