Determinacy Analysis for Logic Programs Using Mode and Type Information.

Pedro Lpez-Garca, Francisco Bueno, Manuel V. Hermenegildo

Browse the full LOPSTR paper archive.