Martin Müller, II;Thomas Glaß;Karl Stroetmann
-;-;-
Detecting determinacy in prolog programs
ICLP'06 Proceedings of the 22nd international conference on Logic Programming