Dmitri Boulanger Analysis of Logic-Based Systems. 281-301 1996 conf/lid/1996 Logic in Databases db/conf/lid/lid96.html#Boulanger96