A Symbolic Constraint Solving Framework for Analysis of Logic Programs.

C. R. Ramakrishnan, I. V. Ramakrishnan, R. C. Sekar

Browse the full PEPM paper archive.