Answer-set programming for the semantic web / Roman Schindlauer. 2006
Inhalt