Nicolás Aristizabal, Carlos Pinzón, Camilo Rueda, Frank Valencia. Make Puzzles Great Again. In Mário S. Alvim, Kostas Chatzikokolakis 0001, Carlos Olarte, Frank Valencia, editors, The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy - Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday. Volume 11760 of Lecture Notes in Computer Science, pages 442-459, Springer, 2019. [doi]
Abstract is missing.