Guglielmo Tamburrini, Settimo Termini. Integrating Resolution-like Procedures with Lukasiewicz Implication. In Bernadette Bouchon-Meunier, Llorenç Valverde, Ronald R. Yager, editors, IPMU 92 - Advanced Methods in Artificial Intelligence, 4th International Conference on Processing and Management of Uncertainty in Knowledge-Based Systems, Palma de Mallorca, Spain, July 6-10, 1992, Proceedings. Volume 682 of Lecture Notes in Computer Science, pages 101-108, Springer, 1992.
Abstract is missing.