more

kohlhase · kohlhase · commit ca78683fb65f · 2025-10-27T09:30:10.000+01:00
diff --git a/kwarcpubs.bib b/kwarcpubs.bib
@@ -64,7 +64,7 @@ @unpublished{KosKohMue:osm25
   }
 
 @inproceedings{KelKohSchSch:rbmfm25,
-  title = {Reaping the Benefits of Modularization in Flexiformal Mathematics by GF-based AST Transformations},
+  title = {Reaping the Benefits of Modularization in Flexiformal Mathematics by {GF}-based {AST} Transformations},
   author = {Josefin Kelber and Michael Kohlhase and Jan Frederik Schaefer and Marcel Schütz},
   crossref = {CICM25},
   url = {https://kwarc.info/kohlhase/submit/cicm25-ling.pdf},

Original file line number	Diff line number	Diff line change
`@@ -64,7 +64,7 @@ @unpublished{KosKohMue:osm25`
`64`	`64`	`}`
`65`	`65`
`66`	`66`	`@inproceedings{KelKohSchSch:rbmfm25,`
`67`		`- title = {Reaping the Benefits of Modularization in Flexiformal Mathematics by GF-based AST Transformations},`
	`67`	`+ title = {Reaping the Benefits of Modularization in Flexiformal Mathematics by {GF}-based {AST} Transformations},`
`68`	`68`	`author = {Josefin Kelber and Michael Kohlhase and Jan Frederik Schaefer and Marcel Schütz},`
`69`	`69`	`crossref = {CICM25},`
`70`	`70`	`url = {https://kwarc.info/kohlhase/submit/cicm25-ling.pdf},`