Ganzinger, H., & Sofronie-Stokkermans, V. (2000). Chaining Techniques for Automated Theorem Proving in Many-Valued Logics. In Proceedings of the 30th IEEE International Symposium on Multiple-Valued Logic (ISMVL-00) (pp. 337-344). Los Alamitos, USA: IEEE.