Barbara Hammer Pascal Hitzler Studies in Computational Intelligence 77 Springer 2007 978-3-540-73953-1 db/series/sci/sci77.html