Antonio di Nola Ada Lettieri On normal forms in Lukasiewicz logic. 795-823 2004 43 Arch. Math. Log. 6 http://dx.doi.org/10.1007/s00153-004-0230-6 db/journals/aml/aml43.html#NolaL04