diff -r 8881a09a06fd -r 8907d4b6316d thys3/document/root.bib
--- a/thys3/document/root.bib	Wed Oct 12 15:23:42 2022 +0100
+++ b/thys3/document/root.bib	Thu Oct 13 00:19:50 2022 +0100
@@ -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}
 }