Les cookies assurent le bon fonctionnement de nos services. En utilisant ces derniers, vous acceptez l'utilisation des cookies.
Apt, Krzysztof R. and
Pedreschi, D. 1993.
“Reasoning about Termination of Pure Prolog Programs.” Information and Computation 106(1): 109–157.