Verifying recursive active documents with positive data tree rewriting (2010)

by B Genest, A Muscholl, Z Wu
Venue:In Proc. of FSTTCS 2010, volume 8 of LIPIcs