@article{heunenjacobs:order,
  title = "Quantum logic in dagger kernel categories",
  author = "Chris Heunen and Bart Jacobs",
  year = "2010",
  journal = "Order",
  number = "2",
  pages = "177-212",
  volume = "27",
  doi = "10.1007/s11083-010-9145-5",
}