Journal of Logical and Algebraic Methods in Programming

ISSN 2352-2208