A Symbolic Constraint Solving Framework for Analysis of Logic Programs.

C. R. Ramakrishnan I. V. Ramakrishnan R. C. Sekar A Symbolic Constraint Solving Framework for Analysis of Logic Programs. 12-23 1995 PEPM db/conf/pepm/pepm95.html#RamakrishnanRS95