DOI,IST REx ID,Research Group,Title of publication
10.4230/LIPICS.ITCS.2019.59,7407,KrPi,Proofs of catalytic space