On the minimality of K, F, and D or: Why löten is non-trivial. (English) Zbl 0637.68062
Computation theory and logic, D. Rödding Occas. 50th Anniv. Birth, Lect. Notes Comput. Sci. 270, 59-66 (1987).
Reviewer: A.Michalski