Database System Based on Intensional Logic Naoki Yonezaki author Hajime Enomoto author 1980 text COLING 1980 Volume 1: The 8th International Conference on Computational Linguistics conference publication yonezaki-enomoto-1980-database https://aclanthology.org/C80-1032/ 1980