Answer set programming with external sources : algorithms and efficient evaluation / von Christoph Redl. 2014
Inhalt