The Logic Programming Paradigm: A 25-Year Perspective (Artificial Intelligence)

9783540654636
3-540-65463-1