The Journal of Logic and Algebraic Programming Journal uri icon