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. 487-510 1990 conf/jfplc/1990 SPLT db/conf/jfplc/jfplc1990.html#AggounB90