DOI,IST REx ID,Research Group,Title of publication
10.1109/LICS.2012.65,496,KrCh,Interpretations in trees with countably many branches