DOI,IST REx ID,Research Group,Title of publication
10.1145/3453483.3454093,9644,KrCh,Proving non-termination by program reversal