Make Puzzles Great Again

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]

@inproceedings{AristizabalPRV19,
  title = {Make Puzzles Great Again},
  author = {Nicolás Aristizabal and Carlos Pinzón and Camilo Rueda and Frank Valencia},
  year = {2019},
  doi = {10.1007/978-3-030-31175-9_25},
  url = {https://doi.org/10.1007/978-3-030-31175-9_25},
  researchr = {https://researchr.org/publication/AristizabalPRV19},
  cites = {0},
  citedby = {0},
  pages = {442-459},
  booktitle = {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},
  editor = {Mário S. Alvim and Kostas Chatzikokolakis 0001 and Carlos Olarte and Frank Valencia},
  volume = {11760},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-030-31175-9},
}