Integrating Resolution-like Procedures with Lukasiewicz Implication.

Guglielmo Tamburrini Settimo Termini Integrating Resolution-like Procedures with Lukasiewicz Implication. 101-108 1992 conf/ipmu/1992 IPMU db/conf/ipmu/ipmu1992.html#TamburriniT92