A Backtrackable updates B (1994)

by J NOYÉ
Venue:ILPS’94 Workshop on Implementation Techniques for Logic Programming Languages