Journal of Logical and Algebraic Methods in Programming, ‎2352-2208

Journal