@inproceedings{Gabbay,
    doi = {10.1109/lics.1999.782617},
    url = {https://doi.org/10.1109%2Flics.1999.782617},
    publisher = {{IEEE} Comput. Soc},
    author = {M. Gabbay and A. Pitts},
    title = {A new approach to abstract syntax involving binders},
    booktitle = {Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. {PR}00158)}
}

@inproceedings{Gabbay, doi = {10.1109/lics.1999.782617}, url = {https://doi.org/10.1109%2Flics.1999.782617}, publisher = {{IEEE} Comput. Soc}, author = {M. Gabbay and A. Pitts}, title = {A new approach to abstract syntax involving binders}, booktitle = {Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. {PR}00158)} }