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 .