Toshihiko Kurata Intersection and Singleton Type Assignment Characterizing Finite Böhm-Trees. 1-11 2002 178 Inf. Comput. 1 http://dx.doi.org/10.1006/inco.2002.2907 db/journals/iandc/iandc178.html#Kurata02