Dale Miller: Collection analysis for Horn clause programs. PPDP 2006: 179-188