Shan-Hwei Nienhuys-Cheng, Patrick R. J. van der Laag, Leendert W. N. van der Torre. Constructing Refinement Operators by Decomposing Logical Implication. In Pietro Torasso, editor, Advances in Artificial Intelligence, Third Congress of the Italian Association for Artificial Intelligence, AI*IA 93, Torino, Italy, October 26-28, 1993, Proceedings. Volume 728 of Lecture Notes in Computer Science, pages 178-189, Springer, 1993.
Abstract is missing.