C. R. Ramakrishnan, I. V. Ramakrishnan, R. C. Sekar
A Symbolic Constraint Solving Framework for Analysis of Logic Programs
PEPM, 1995.
@inproceedings{PEPM-1995-RamakrishnanRS, author = "C. R. Ramakrishnan and I. V. Ramakrishnan and R. C. Sekar", booktitle = "{Proceedings of the Fourth Symposium on Partial Evaluation and Semantics-Based Program Manipulation}", doi = "10.1145/215465.215467", isbn = "0-89791-720-0", pages = "12--23", publisher = "{ACM Press}", title = "{A Symbolic Constraint Solving Framework for Analysis of Logic Programs}", year = 1995, }