A Linear Logic Semantics for Object-Oriented, Deductive and Active Databases.

Marco Bozzano Giorgio Delzanno Maurizio Martelli A Linear Logic Semantics for Object-Oriented, Deductive and Active Databases. 105-116 1997 conf/agp/1997 APPIA-GULP-PRODE db/conf/agp/agp1997.html#BozzanoDM97