@InProceedings{BJKP97,
author={Hassan  Bezzazi and Stéphane  Janot and Sébastien  Konieczny and Ramón  Pino Pérez},
title= {Forward chaining and change operators},
booktitle = {Workshop on (Trans)Actions and Change in Logic Programming and Deductive Databases (DYNAMICS'97), in conjunction with International Logic Programming Symposium (ILPS'97)} ,
pages = {135-146},
year= {1997}
}