@INPROCEEDINGS{GanzingerSofronie-Stokkermans-00-ismvl,
        title = {Chaining Techniques for Automated Theorem Proving in Many-Valued Logics},
        author = {Ganzinger, H. and Sofronie-Stokkermans, V.},
	year   = {2000},
        BOOKTITLE          = {Proc.\ 30th IEEE Symposium on Multiple-Valued Logic},
	PAGES		   = {337--344},
	PUBLISHER          = {IEEE Computer Society Press},
	URL    = {\hgURL{~hg/pca.html#_00ISMVL}},
	abstract = {We apply chaining techniques to automated theorem proving in many-valued 
logics. In particular, we show that superposition specializes to a refined 
version of the many-valued resolution rules introduced by Baaz and Fermüller, 
and that ordered chaining can be specialized to a refutationally complete
inference system for regular clauses. 
},
}