Determinacy Analysis for Logic Programs Using Mode and Type Information.

Pedro López-García Francisco Bueno Manuel V. Hermenegildo Determinacy Analysis for Logic Programs Using Mode and Type Information. 19-35 2004 conf/lopstr/2004 LOPSTR http://dx.doi.org/10.1007/11506676_2 db/conf/lopstr/lopstr2004.html#Lopez-GarciaBH04