The journal of logic programming (New York, NY North-Holland)
Keywords: Information Technology -- Artificial Intelligence; Information Technology -- Computer Architecture, Languages and Compilers; Information Technology -- Modelling & Simulation; Information Technology -- Software Engineering; Mathematical Sciences -- Applied Mathematics; Mathematical Sciences -- General and Others