We investigate the relationship between rules representing synonymity in nonmonotonic causal logic and in answer set programming. This question is of interest in connection with current work on modular languages for describing actions.
Lee, Joohyung; Lierler, Yuliya; Lifschitz, Vladimir; and Yang, Fangkai, "Representing Synonymity in Causal Logic and in Logic Programming" (2010). Computer Science Faculty Proceedings & Presentations. 36.