Functional and Logic Programming: 7th International Symposium, Flops 2004,...

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

Logic Programming and Automated Reasoning : 4th International Con

Advances in Logic Programming and Automated Reasoning [Hard

Logic for Programming and Automated Reasoning : 7th Conference Lpar 2000 Reun...

Logic Programming and Automated Reasoning: 4th International Con

Logic for Programming and Automated Reasoning : 7th Conference Lpar 2000 Reun...

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