"Recursive Unsolvability of Determinacy, Solvable Cases of Determinancy and ..."

Hajime Sawamura, Taku Takeshima (1985)
a service of Schloss Dagstuhl - Leibniz Center for Informatics