Logic Oriented Flexible Information Base
Advanced Database Systems for Integration of Media and User Environments’98 (ed by Kambayashi, Y. Et Al) World Scientific 1998
データモデルとデータベース
サイエンス社 1997
演繹データベース
コンパクトエンサイクロペディア情報処理, オーム社 1994
Deductive Types and a Dynamic View Mechanism
Information Modelling and knowledge Bases (Kangassalo他編)IOS Pressp 1993 1993