Marta Cialdea Mayer Abduction and Consequence Generation in a Support System for the Design of Logical Multiple-Choice Questions. 167-172 2009 TABLEAUX http://dx.doi.org/10.1007/978-3-642-02716-1_13 conf/tableaux/2009 db/conf/tableaux/tableaux2009.html#Mayer09