DMCA

Database System Based On Intensional Logic (1980)

by Naoki Yonezaki , Hajime Enomoto