D. Pedreschi (pedreschi-d)

Contributi a Philosophie.ch

Bibliography

Apt, Krzysztof R. and Pedreschi, D. 1993. “Reasoning about Termination of Pure Prolog Programs.” Information and Computation 106(1): 109–157.