@**inproceedings**{RISC2127,author = {Mircea Marin and Florina Piroi},

title = {{Deduction and Presentation in $\rho$Log}},

booktitle = {{Proceedings of the Mathematical Knowledge Management Symposium}},

language = {english},

abstract = {We describe the deductive and proof presentation capabilities of a rule-based system implemented in Mathematica. The system can compute proof objects, which are internal representations of deduction derivations which respect a specification given by the user. It can also visualize such deductions in human readable format, at various levels of detail. The presentation of the computed proof objects is done in a natural-language style which is derived and simplified for our needs from the proof presentation styles of Theorema.},

series = {ENTCS},

volume = {93},

pages = {161--182},

publisher = {Elsevier},

isbn_issn = {ISBN 044451290X},

year = {2004},

month = {February},

editor = {F. Kamareddine},

refereed = {yes},

organization = {Heriot-Watt University, Edinburgh},

length = {22}

}