text: A parser MDCC is presented which implements an augmented Friedman - Warren algorithm permitting post referencing * and interfaces with a language of << intenslonal logic translator LILT >> so as to display the [[ derivational history ]] of corresponding reduced IL formulae .