Mathijs de Boer Andreas Herzig Tiago De Lima Emiliano Lorini Tableaux for Acceptance Logic. 85-100 2009 DALT http://dx.doi.org/10.1007/978-3-642-11355-0_6 conf/dalt/2009 db/conf/dalt/dalt2009.html#BoerHLL09