Bradd Hart A Proof of Morley's Conjecture. 1346-1358 1989 54 J. Symb. Log. 4 db/journals/jsyml/jsyml54.html#Hart89a