Logic Programming and Automated Reasoning: 4th International Con

Functional and Logic Programming : 4th Fuji International Symposi

Programming Language Implementation and Logic Programming: 4th International Sym

Logic for Programming and Automated Reasoning : 7th International

Advances in Logic Programming and Automated Reasoning [Hard

Functional and Logic Programming : 4th Fuji International Symposium, Flops'99...