@inproceedings{geneves-ijcai11,
 author = {Everardo Barcenas and Pierre Genev\`es and Nabil Laya\"ida and Alan Schmitt},
 title = {Query reasoning on trees with types, interleaving and counting},
 booktitle = {IJCAI'11 : Proceedings of the 22nd International Joint Conference on Artificial Intelligence},
 year = {2011},
 pages = {718-723}
 }