Reza Basseda, Michael Kifer. State Space Planning Using Transaction Logic. In Enrico Pontelli, Tran Cao Son, editors, Practical Aspects of Declarative Languages - 17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings. Volume 9131 of Lecture Notes in Computer Science, pages 17-33, Springer, 2015. [doi]
Abstract is missing.