Lauri Karttunen Martin Kay Structure Sharing with Binary Trees. 133-136 1985 ACL db/conf/acl/acl85.html#KarttunenK85