A note on forking and normalization. John B. Vaughn — 1987 Archiv für mathematische Logik und Grundlagenforschung