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