@article{Gabbay_2011,
    doi = {10.2178/bsl/1305810911},
    url = {https://doi.org/10.2178%2Fbsl%2F1305810911},
    year = {2011},
    month = {jun},
    publisher = {Cambridge University Press ({CUP})},
    volume = {17},
    number = {2},
    pages = {161--229},
    author = {Murdoch J. Gabbay},
    title = {Foundations of Nominal Techniques: Logic and Semantics of Variables in Abstract Syntax},
    journal = {The Bulletin of Symbolic Logic}
}

@article{Gabbay_2011, doi = {10.2178/bsl/1305810911}, url = {https://doi.org/10.2178%2Fbsl%2F1305810911}, year = {2011}, month = {jun}, publisher = {Cambridge University Press ({CUP})}, volume = {17}, number = {2}, pages = {161--229}, author = {Murdoch J. Gabbay}, title = {Foundations of Nominal Techniques: Logic and Semantics of Variables in Abstract Syntax}, journal = {The Bulletin of Symbolic Logic} }