R. Ramesh, I. V. Ramakrishnan, David Scott Warren
Automata-Driven Indexing of Prolog Clauses
POPL, 1990.
@inproceedings{POPL-1990-RameshRW, author = "R. Ramesh and I. V. Ramakrishnan and David Scott Warren", booktitle = "{Conference Record of the 17th Annual Symposium on Principles of Programming Languages}", doi = "10.1145/96709.96738", editor = "Frances E. Allen", isbn = "0-89791-343-4", pages = "281--291", publisher = "{ACM Press}", title = "{Automata-Driven Indexing of Prolog Clauses}", year = 1990, }