R. Ramesh I. V. Ramakrishnan David Scott Warren Automata-Driven Indexing of Prolog Clauses. 281-291 1990 POPL db/conf/popl/popl90.html#RameshRW90