David Tanzer Dennis Shasha Queryable Acyclic Production Systems. 284-291 CIKM1999/P284.pdf 1999 conf/cikm/99 CIKM http://doi.acm.org/10.1145/319950.320015 db/conf/cikm/cikm99.html#TanzerS99