1. W. Bibel, Matings in Matrices, Communications of the ACM 26(1983), 844–852
2. A. Blaser, B. Alschwee, He. Lehmann, Hu. Lehmann, W. Schönfeld, Ein Expertensystem mit natürlichsprachlichem Dialog — Ein Projektbericht, in: W. Brauer, R. Radig (Hrsg.), Wissensbasierte System, GI-Kongrex 1985, Informatik-Fachberichte 112, Springer-Verlag, Berlin 1985, 42–57
3. W.W. Bledsoe, Non-resolution theorem proving, Artificial Intelligence 9(1977), 1–35
4. W.A. Carnielli, Systematization of finite many-valued logics through the method of tableaux, J. Symbolic Logic 52.2 (1987), 473–493
5. A.K. Chandra, D.C. Kozen, L.J. Stockmeyer, Alternation, J. ACM 28(1981), 114–133