Automata-driven indexing of prolog clauses (1990)

by R Ramesh, I Ramakrishnan, D Warren
Venue:In Seventh Annual ACM Symposium on Principles of Programming Languages