Harald Ganzinger, Viorica Sofronie-Stokkermans. Chaining Techniques for Automated Theorem Proving in Many-Valued Logics. In ISMVL. pages 337-344, 2000. [doi]
@inproceedings{GanzingerS00,
title = {Chaining Techniques for Automated Theorem Proving in Many-Valued Logics},
author = {Harald Ganzinger and Viorica Sofronie-Stokkermans},
year = {2000},
url = {http://computer.org/proceedings/ismvl/0692/06920337abs.htm},
tags = {logic},
researchr = {https://researchr.org/publication/GanzingerS00},
cites = {0},
citedby = {0},
pages = {337-344},
booktitle = {ISMVL},
}