@inproceedings{andreka-etal-1980-model,
    title = "Model Theoretic Semantics for Many-Purpose Languages and Language Hierarchies",
    author = "Andreka, H.  and
      Gergely, T.  and
      Gergely, T.",
    booktitle = "{COLING} 1980 Volume 1: The 8th International Conference on Computational Linguistics",
    year = "1980",
    url = "https://preview.aclanthology.org/Add-Cong-Liu-Florida-Atlantic-University-author-id/C80-1031/"
}