I updated my paper with a references section. It's an the same URL
http://www.thaiopensource.com/relaxng/derivative.html
I cited
Dongwon Lee, Murali Mani, Makoto Murata. Reasoning about XML Schema
Languages using Formal Language Theory.
rather than the Extreme 2001 paper, because I found the former more helpful
wrt the algorithms.
----- Original Message -----
From: "MURATA Makoto" <>
To: "RELAX NG Mailing List" <>
Sent: Friday, January 04, 2002 9:50 PM
Subject: Re: [relax-ng] Description of Jing's validation algorithm
> James Clark wrote:
>
> > I would be grateful for reports of bugs or areas where the description
is
> > not comprehensible.
>
> Thanks for writing this. I tried to provide an overview of
tree-automaton-based
> validation techniques in my paper presented at Extreme 2001. Hopefully,
Algorithm 5
> in this paper helps to understand your note.
>
> http://citeseer.nj.nec.com/murata00taxonomy.html
>
> I plan to revise this paper and submit it to a journal.
>
> Cheers,
>
> Makoto
>
> ----------------------------------------------------------------
> To subscribe or unsubscribe from this elist use the subscription
> manager: <http://lists.oasis-open.org/ob/adm.pl>
>
>
>
