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 ]] .