Uniform approximation-theoretic semantics for logic programs with external atoms / von Christian Antić. 2012
Inhalt