Theory and practice of logic programming (University Press, 2001)
Opis prema vol.2,pt.1(2002)