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

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
Citations:12 - 5 self