Michel Cayrol Olivier Palmade Thomas Schiex A Fixed Point Semantics for the ATMS. 115-130 1993 3 J. Log. Comput. 2 db/journals/logcom/logcom3.html#CayrolPS93