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

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

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 Automated Reasoning: International Conference LPAR '92, St

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

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