2008

Revue Internationale avec comité de lecture

• [DLM08] F. Duran, S. Lucas, J. Meseguer, C. Marché, X. Urbain. "Proving Operational Termination of Membership Equational Programs", Higher Order and Symbolic Computation, vol. 21(1), pp. 59-88, 2008