Journal of Logic and Algebraic Programming, 1567-8326

Journal