Xiaoping Chen, Guoqiang Jin, Fangkai Yang. Extending Action Language $\mathcal{C}+$ by Formalizing Composite Actions. In Esra Erdem, Joohyung Lee, Yuliya Lierler, David Pearce, editors, Correct Reasoning - Essays on Logic-Based AI in Honour of Vladimir Lifschitz. Volume 7265 of Lecture Notes in Computer Science, pages 134-148, Springer, 2012. [doi]
Abstract is missing.