The following publications are possibly variants of this publication:
- Reasoning in Abstract Dialectical Frameworks Using Quantified Boolean FormulasMartin Diller, Johannes Peter Wallner, Stefan Woltran. comma 2014: 241-252 [doi]
- Reasoning in abstract dialectical frameworks using quantified Boolean formulasMartin Diller, Johannes Peter Wallner, Stefan Woltran. argcom, 6(2):149-177, 2015. [doi]
- Solving Advanced Reasoning Tasks Using Quantified Boolean FormulasUwe Egly, Thomas Eiter, Hans Tompits, Stefan Woltran. AAAI 2000: 417-422
- Paraconsistent Reasoning via Quantified Boolean Formulas, I: Axiomatising Signed SystemsPhilippe Besnard, Torsten Schaub, Hans Tompits, Stefan Woltran. jelia 2002: 320-331 [doi]
- Paraconsistent Reasoning via Quantified Boolean Formulas, I: Axiomatising Signed SystemsPhilippe Besnard, Torsten Schaub, Hans Tompits, Stefan Woltran. pcl 2002: 1-15 [doi]