Journal of Logic and Algebraic Programming, ‎1567-8326

Journal