DOI,IST REx ID,Research Group,Title of publication
10.4230/LIPIcs.ITP.2023.15,13120,"GradSch,VlKo",Closure properties of general grammars - formally verified