CJO - Abstract - Theory of finite or infinite trees revisited

Cambridge Journals Online

Cambridge Journals Online
Skip to content
Theory and Practice of Logic Programming (2008), 8 : 431-489 Cambridge University Press
doi:10.1017/S1471068407003171 (About doi)
Published online by Cambridge University Press 12 May 2008
back to top
Cambridge University Press