Journal of Logical and Algebraic Methods in Programming

ID: 14302339