@inproceedings{BIZ5,
title = { Regular Grammars for Sets of Graphs of Tree-Width 2 },
author = {Bozga, Marius and Iosif, Radu and Zuleger, Florian},
year = {2025},
booktitle = {40th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2025, Singapore, June 23-26, 2025},
pages = {704--717},
publisher = {{IEEE}},
team = {axe_Mohytos, RSD},
}
