Copy and paste this link:
http://journals.cambridge.org/action/displayAbstract?aid=1915628
Copy and paste this citation
KHALIL DJELLOUL,
THI-BICH-HANH DAO
and THOM FRÜHWIRTH
(2008).
Theory of finite or infinite trees revisited. Theory and Practice of Logic Programming, 8
,
pp 431-489
doi:10.1017/S1471068407003171