[bib] OTT for good

quox.bib

@@ -72,10 +72,20 @@
   doi       = {10.1145/1292597.1292608}
 }
 
+@article{ott-good,
+  author  = {Lo{\"{\i}}c Pujet and Nicolas Tabareau},
+  title   = {Observational equality: now for good},
+  journal = {Proc. {ACM} Program. Lang.},
+  volume  = {6},
+  number  = {{POPL}},
+  pages   = {1--27},
+  year    = {2022},
+  url     = {https://doi.org/10.1145/3498693},
+  doi     = {10.1145/3498693},
+}
+
 @inproceedings{xtt,
-  author    = {Jonathan Sterling and
+  author    = {Jonathan Sterling and Carlo Angiuli and Daniel Gratzer},
-               Carlo Angiuli and
-               Daniel Gratzer},
   editor    = {Herman Geuvers},
   title     = {Cubical Syntax for Reflection-Free Extensional Equality},
   booktitle = {4th International Conference on Formal Structures for Computation