Journal of Logical and Algebraic Methods in Programming. Elsevier. English. [1 vol. (= 8 issues) a year]

Journal, ISSN 2352-2208

http://www.sciencedirect.com/science/journal/23522208

Formerly: J. Log. Algebr. Program.

Cover-to-cover reviewing in Zentralblatt MATH.