Re: [Axiom-developer] Provisos

[Gabriel Dos Reis]

On Sun, May 11, 2008 at 10:06 PM, root <address@hidden> wrote:
> >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.

I've found a freely available `technical report' version of it here

  http://citeseer.ist.psu.edu/dolzmann97guarded.html

-- Gaby