Time Stamps Techniques for the Trailed Data in Constraint Logic Programming Systems

Abderrahmane Aggoun, Nicolas Beldiceanu. Time Stamps Techniques for the Trailed Data in Constraint Logic Programming Systems. In Serge Bourgault, Mehmet Dincbas, editors, SPLT 90, 8:::ème::: Séminaire Programmation en Logique, 16-18 mai 1990, Trégastel, France. pages 487-510, 1990.

Abstract

Abstract is missing.