Journal of Logical and Algebraic Methods in Programming

JLAMP @ ScienceDirect

The Journal of Logic and Algebraic Programming

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