3 books • 2 series
Intellectics and Computational Logic
Wissensreprasentation und Inferenz (Computational Intelligence)
Foundations of Equational Logic Programming (Lecture Notes in Artificial Intelligence, #353)