@ARTICLE{NivatPodelski97,
AUTHOR = {Nivat, Maurice and Podelski, Andreas},
TITLE = {Minimal Ascending and Descending Tree Automata},
JOURNAL = {SIAM Journal on Computing},
YEAR = {1997},
NUMBER = {1},
VOLUME = {26},
PAGES = {39--58},
}
Entry last modified by Uwe Brahm, 03/12/2010