Journal of Logic and Algebraic Method in Programming