@inproceedings{DBLP:conf/fossacs/MatacheS19,
  title = "A Sound and Complete Logic for Algebraic Effects",
  author = "Cristina Matache and Sam Staton",
  year = "2019",
  booktitle = "Foundations of Software Science and Computation Structures - 22nd International Conference, {FOSSACS} 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings",
  editor = "Mikolaj Bojanczyk and Alex Simpson",
  pages = "382--399",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  url = "https://doi.org/10.1007/978-3-030-17127-8\_22",
  volume = "11425",
  doi = "10.1007/978-3-030-17127-8\_22",
}