E. R. Harley Zbigniew Stachniak Minimal Resolution Proof Systems for Finitely-Valued Lukasiewicz Logics. 54-59 1993 ISMVL db/conf/ismvl/ismvl1993.html#HarleyS93