Journal of Logical and Algebraic Methods in Programming

The Journal of Logic and Algebraic Programming

JLAP @ ScienceDirect
JLAP is a successor of the Journal of Logic Programming