Hassan Bezzazi, Stéphane Janot, Sébastien Konieczny, Ramón Pino Pérez. Analysing Rational Properties of Change Operators Based on Forward Chaining. In Burkhard Freitag, Hendrik Decker, Michael Kifer, Andrei Voronkov, editors, Transactions and Change in Logic Databases, International Seminar on Logic Databases and the Meaning of Change, Schloss Dagstuhl, Germany, September 23-27, 1996 and ILPS 97 Post-Conference Workshop on (Trans)Actions and Change in Logic Programming and De. Volume 1472 of Lecture Notes in Computer Science, pages 317-339, Springer, 1998. [doi]
Abstract is missing.