_id,doi,title
13120,10.4230/LIPIcs.ITP.2023.15,Closure properties of general grammars - formally verified