H. Bezzazi, S. Janot, Sébastien Konieczny, Ramon Pino Perez. Forward chaining and change operators.
Proceedings of the Workshop on (Trans)Actions and Change in Logic Programming and Deductive Databases (DYNAMICS-97), 1997, Port Jefferson, New York, USA, Unknown Region. pp.135-146.
⟨hal-03300701⟩