@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}
}