db/conf/xp/Shmueli86.html Oded Shmueli Decidability and Expressiveness Aspects of Logic Queries. 1986 conf/xp/1986 XP7.52 Workshop on Database Theory db/conf/xp/xp1986.html#Shmueli86 XP/1986/P05.pdf