Refining operational logics

Joseph C. Osborn, Noah Wardrip-Fruin, Michael Mateas. Refining operational logics. In Sebastian Deterding, Alessandro Canossa, Casper Harteveld, Jichen Zhu, Miguel Sicart, editors, Proceedings of the International Conference on the Foundations of Digital Games, FDG 2017, Hyannis, MA, USA, August 14-17, 2017. ACM, 2017. [doi]