Journal of Logical and Algebraic Methods in Programming (JLAMP) Lecture Notes in Computer Science (LNCS) ACM Transactions on Computational Logic (TOCL) Electronic Notes in Theoretical Computer Science (ENTCS) Science of Computer Programming (SCP)