John Grant Jack Minker Optimization in Deductive and Conventional Relational Database Systems. 195-234 1979 Advances in Data Base Theory db/conf/adbt/adbt79.html#GrantM79