@inproceedings{yonezaki-enomoto-1980-database,
    title = "Database System Based on Intensional Logic",
    author = "Yonezaki, Naoki  and
      Enomoto, Hajime",
    booktitle = "{COLING} 1980 Volume 1: The 8th International Conference on Computational Linguistics",
    year = "1980",
    url = "https://preview.aclanthology.org/landing_page/C80-1032/"
}