TY  - RPRT
TI  - A Tree Logic with Graded Paths and Nominals
AU  - Everardo Barcenas
AU  - Pierre Geneves
AU  - Nabil Layaida
AU  - Alan Schmitt
PY  - 2010
UR  - https://arxiv.org/abs/1005.5623
ID  - 1005.5623
ER  -