Papers (BibTeX)

@article{gabbay:alwa-jv,
author      = "Gabbay, Murdoch J. and Gabbay, Michael J.",
title       = "\href{http://www.gabbay.org.uk/papers.html#alwa-jv}{a-logic with arrows (journal version)}",
journal     = "Electronic Notes in Theoretical Computer Science",
volume      = "216",
pages       = "3-29",
booktitle   = "Proceedings of WFLP'07",
year        = "2008",
PDF = {http://www.gabbay.org.uk/papers/alwa-jv.pdf},
}