Papers (BibTeX)

@article{gabbay:oneaah-jv,
  author={Murdoch J. Gabbay and Aad Mathijssen},
  title={\href{http://www.gabbay.org.uk/papers.html#oneaah-jv}{One-and-a-halfth-order Logic (journal version)}},
  journal={Journal of Logic and Computation},
  doi = "10.1093/logcom/exm064",
  year={2008},
  volume={18},
  number={4},
  pages={521-562},
  PDF = {http://www.gabbay.org.uk/papers#oneaah-jv},
}