A Fixed point Semantics for the ATMS (1993)

by M Cayrol, O Palmade, T Schiex
Venue:Journal of Logic Computation