Nevin Heintze Joxan Jaffar A Generic Algorithm for CLP Analysis. 49-63 1995 ICLP db/conf/iclp/iclp95.html#HeintzeJ95