DOI,IST REx ID,Title of publication
10.1007/978-3-540-69738-1_5,4394,Using first-order theorem provers in the Jahob data structure verification system