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 .