A Practical Object-Oriented Analysis Engine for CLP.

Kim Marriott Harald Søndergaard Peter J. Stuckey A Practical Object-Oriented Analysis Engine for CLP. 199-224 1998 28 Softw., Pract. Exper. 2 db/journals/spe/spe28.html#MarriottSS98