@inproceedings{max-1988-new,
    title = "A new formal tool: Functorial variables representing assertions and presuppositions",
    author = "Max, Ingolf",
    booktitle = "{C}oling {B}udapest 1988 Volume 1: {I}nternational {C}onference on {C}omputational {L}inguistics",
    year = "1988",
    url = "https://preview.aclanthology.org/fix-sig-urls/C88-1083/"
}