Dong-Tsan Lee Chin-Ping Tsang Linear Logic for Deductive Databases. 201-228 1999 17 New Generation Comput. 2 db/journals/ngc/ngc17.html#LeeT99