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