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 is missing.