R. Ramesh I. V. Ramakrishnan David Scott Warren Automata-Driven Indexing of Prolog Clauses. 151-202 1995 23 J. Log. Program. 2 db/journals/jlp/jlp23.html#RameshRW95 http://dx.doi.org/10.1016/0743-1066(94)00016-Y