@inproceedings{andreka-etal-1980-model, title = "Model Theoretic Semantics for Many-Purpose Languages and Language Hierarchies", author = "Andr{\'e}ka, H. and Gergely, T. and N{\'e}meti, I.", booktitle = "{COLING} 1980 Volume 1: The 8th International Conference on Computational Linguistics", year = "1980", url = "https://preview.aclanthology.org/sigarab-more-entries-6621/C80-1031/" }