1. E. W. Beth. Semantic entailment and formal derivability. In Karel Berka and Lothar Kreiser, editors, Logik-Texte. Kommentierte Auswahl zur Geschichte der modernen Logik, pages 262–266. Akademie-Verlag, Berlin, 1986.
2. Stanley Burris and H.P. Sankappanavar. A Course in Universal Algebra, volume 78 of Graduate Texts in Mathematics. Springer, New York, 1981.
3. Walter A. Carnielli. Systematization of finite many-valued logics through the method of tableaux. Journal of Symbolic Logic, 52(2):473–493, June 1987.
4. Gerhard W. Dueck. Algorithms for the Minimization of Binary and Multiple-Valued Logic Functions. PhD thesis, University of Manitoba, Winnipeg, 1988.
5. Jens Erik Fenstad, Per-Kristian Halvorsen, Tore Langholm, and Johan von Benthem. Equations, schemata and situations: A framework for linguistic semantics. Technical Report CSLI-85-29, Center for the Studies of Language and Information Stanford, 1985.