diff -r 233cf2b97d1a -r 2072a8d54e3e thys3/document/root.bib
--- a/thys3/document/root.bib	Sun Nov 06 23:05:47 2022 +0000
+++ b/thys3/document/root.bib	Sun Nov 06 23:06:10 2022 +0000
@@ -372,15 +372,14 @@
   year =         {2013}
 }
 
+
+
 @inproceedings{RibeiroAgda2017,
 author = {R.~Ribeiro and A.~Du Bois},
 title = {{C}ertified {B}it-{C}oded {R}egular {E}xpression {P}arsing},
 year = {2017},
-publisher = {Association for Computing Machinery},
-address = {New York, NY, USA},
 booktitle = {Proc.~of the 21st Brazilian Symposium on Programming Languages},
-articleno = {4},
-numpages = {8}
+pages     = {4:1--4:8}
 }