DOI,IST REx ID,Title of publication
10.1007/11547662_19,4367,Boolean Heaps