Automata-Driven Indexing of Prolog Clauses.

R. Ramesh, I. V. Ramakrishnan, David Scott Warren

Browse the full POPL paper archive.