@article{Otto2013a,
  journal = {Annals of Pure and Applied Logic},
  year = 2013,
  volume = {164},
  title = {Expressive completeness through logically tractable models},
  pages = {1418--1453},
  author = {Otto, Martin},
}