Solving reasoning problems on abstract dialectical frameworks via quantified boolean formulas / von Martin Diller. 2014
Inhalt