Ugo Manfredi Mirko Sancassani LogicSQL: Augmenting SQL with Logic. 442-443 1994 conf/agp/1994-2 GULP-PRODE (2) db/conf/agp/gulp-prode1994-2.html#ManfrediS94