Beyond uniform equivalence between answer-set programs : relativisation and projection / von Johannes Oetsch. 2011
Inhalt