Determinacy Analysis for Logic Programs Using Mode and Type Information (2005)

by P LÓPEZ-GARCÍA, F BUENO, M HERMENEGILDO
Venue:In Proceedings of the 14th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR’04). Number 3573 in LNCS