François-Xavier Wicht 1c53ae13a4 Split bibliography into dblp.bib and refs.bib		2026-10-13 14:13:03 +02:00
..
dblp.bib	Split bibliography into dblp.bib and refs.bib	2026-10-13 14:13:03 +02:00
refs.bib	Split bibliography into dblp.bib and refs.bib	2026-10-13 14:13:03 +02:00