Re: [Axiom-developer] Provisos

[root]

>Do you know how this is different from the GUARDIAN package (Reduce)
>described in this ISSAC'97 paper?
>
>     "Guarded Expressions in Practice"
>      Andreas Dolzmann  and Thomas Sturm
>
>    http://portal.acm.org/citation.cfm?id=258851

I don't know. The comments I made were from my thesis work done prior
to this publication. I don't have access to that paper at the moment.
If you have a copy perhaps you could summarize the differences.

Tim