An Application of Automated Equational Reasoning to Many-valued Logic.

Siva Anantharaman Maria Paola Bonacina An Application of Automated Equational Reasoning to Many-valued Logic. 156-161 1990 conf/ctrs/1990 CTRS db/conf/ctrs/ctrs90.html#AnantharamanB90