External Links

    Journal: Journal of Logic and Algebraic Methods in Programming

    runs on