@inproceedings{YliJyrae2008,
  author    = {Anssi Yli-Jyr{\"a}},
  title     = {Applications of diamonded double negation},
  year      = {2008},
}