Steven Schockaert Jeroen Janssen Dirk Vermeir Martine De Cock Finite Satisfiability in Infinite-Valued Lukasiewicz Logic. 240-254 2009 SUM http://dx.doi.org/10.1007/978-3-642-04388-8_19 conf/sum/2009 db/conf/sum/sum2009.html#SchockaertJVC09