Reihe Lecture Notes in Artificial IntelligenceJose Julio Alferes ×eBooks × Reasoning with Logic Programming Jose Julio AlferesSpringer BerlineBook2005