Masahiro Miyakawa, Ivo G. Rosenberg, Hisayuki Tatsumi. Semirigid Equivalence Relations - A New Proof Method. In 35th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2005), 18-21 May 2005, Calgary, Canada. pages 107-112, IEEE Computer Society, 2005. [doi]
Abstract is missing.