Yves Moinard Raymond Rolland Around a Powerful Property of Circumscriptions. 34-49 1994 conf/jelia/1994 JELIA db/conf/jelia/jelia94.html#MoinardR94 http://dx.doi.org/10.1007/BFb0021963