conf/vldb/88 Ravi Krishnamurthy Shamim A. Naqvi Towards a Real Horn Clause Language. 252-263 1988 VLDB db/conf/vldb/vldb88.html#KrishnamurthyN88 db/conf/vldb/KrishnamurthyN88.html VLDB88/P252.PDF journals/jacm/AptE82 conf/vldb/BancilhonBKV87 conf/pods/BancilhonMSU86 conf/pods/BeeriNRST87 conf/pods/Kuper87 conf/jcdkb/KrishnamurthyN88 conf/sigmod/KrishnamurthyRS88 ... conf/pods/NaqviK88 journals/tois/WhangABHHHKKSSWZ87 conf/pods/ShmueliTZ88 conf/iclp/SaccaZ87 conf/vldb/TsurZ86 ...