Bárcenas, Everardo

1 publications

IJCAI 2011 Query Reasoning on Trees with Types, Interleaving, and Counting Everardo Bárcenas, Pierre Genevès, Nabil Layaïda, Alan Schmitt