"On a Problem of H. Friedman and its Solution by T. Prucnal."

Piotr Wojtylak (2004)
a service of Schloss Dagstuhl - Leibniz Center for Informatics