Logic Programming and Automated Reasoning : 6th International Conference, Lpa...

Logic Programming and Automated Reasoning: 6th International Conference, Lpar'99

Automated Reasoning: 6th International Joint Conference, IJCAR 2012, Manchester,

Logic Programming and Nonmonotonic Reasoning : 12th International Conference,...

Logic Programming and Nonmonotonic Reasoning: Fourth International Conference,

Logic Programming and Nonmonotonic Reasoning: Third International Conference,

Logic Programming and Nonmonotonic Reasoning: 7th International Conference, LPNM

Logic Programming and Nonmonotonic Reasoning : 9th International Conference, ...