The Journal of Logic and Algebraic Programming

JLAP is a successor of the Journal of Logic Programming