Jens Michaelis, Uwe Mönnich. Towards a Logical Description of Trees in Annotation Graphs. LDV Forum, 22(2):68-83, 2007. [doi]
@article{MichaelisM07,
title = {Towards a Logical Description of Trees in Annotation Graphs},
author = {Jens Michaelis and Uwe Mönnich},
year = {2007},
url = {http://www.jlcl.org/2007_Heft2/Michaelis,Moennich.pdf},
tags = {graph-rewriting, rewriting},
researchr = {https://researchr.org/publication/MichaelisM07},
cites = {0},
citedby = {0},
journal = {LDV Forum},
volume = {22},
number = {2},
pages = {68-83},
}