Many-Sorted First-Order Logic Database Language. - J. S. H. Yang; Yeh-Hao Chin; C. G. Chung (Comput. J., 1992)