The journal of logic and algebraic programming (UNITED STATES North-Holland)
Keywords: Mathematical Sciences -- Algebra; Mathematical Sciences -- Algebraic Geometry; Mathematical Sciences -- Applied Mathematics; Mathematical Sciences -- General and Others; Mathematical Sciences -- Mathematical Analysis & Logic