DOI,IST REx ID,Title of publication
10.1007/BFb0054181,4606,Symbolic exploration of transition hierarchies