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

Logic Programming and Automated Reasoning : International Conference Lpar '92...

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

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

Ganzinger - Logic Programming and Automated Reasoning 6th Internatio - X555z

Algebraic and Logic Programming : 6th International Joint Conference, Alp '97...