Explicit Control of Logic Programs Through Rule Algebra.

conf/pods/88 Tomasz Imielinski Shamim A. Naqvi Explicit Control of Logic Programs Through Rule Algebra. 103-116 1988 PODS db/conf/pods/pods88.html#ImielinskiN88 http://doi.acm.org/10.1145/308386.308422 db/conf/pods/ImielinskiN88.html journals/anthology/cd1-3:PODS88/P103.PDF journals/anthology/dvd1:text/1-3/PODS88/P103.PDF ... journals/jacm/AptE82 conf/stoc/Immerman82 conf/pods/KolaitisP88 books/sp/Lloyd84 ... conf/slp/OKeefe85a ... conf/slp/Gelder86