Richard R. Muntz Eddie C. Shek Carlo Zaniolo Using LDL++ for Spatio-Temporal Reasoning in Atmospheric Science Databases. 101-119 1993 Workshop on Programming with Logic Databases (Book), ILPS db/conf/deductive/deductive93-book.html#MuntzSZ93