_id,doi,title 496,10.1109/LICS.2012.65,Interpretations in trees with countably many branches