Single-tree method for grammar-directed search | IEEE Conference Publication | IEEE Xplore