Index: doc/bibliography/pl.bib
===================================================================
--- doc/bibliography/pl.bib	(revision ad8b6dfa61caa02d1ecf946bdd5412d385adbed4)
+++ doc/bibliography/pl.bib	(revision 13887ac2bdbe8d74fb76251860ab3ce811ef25c4)
@@ -4495,4 +4495,18 @@
     pages	= {55-59},
     issn	= {0163-5719},
+}
+
+@article{Melo17,
+    keywords	= {C Language, Parsing, Partial Programs, Type Inference},
+    author	= {Melo, Leandro T. C. and Ribeiro, Rodrigo G. and de Ara\'{u}jo, Marcus R. and Pereira, Fernando Magno Quint\~{a}o},
+    title	= {Inference of Static Semantics for Incomplete {C} Programs},
+    publisher	= {ACM},
+    address	= {New York, NY, USA},
+    volume	= 2,
+    number	= {POPL},
+    journal	= {Proc. ACM Program. Lang.},
+    year	= 2017,
+    month	= dec,
+    articleno	= {29},
 }
 
@@ -6677,6 +6691,9 @@
     title	= {Poly Manual},
     journal	= sigplan,
-    month	= sep, year = 1985,
-    volume	= 20, number = 9, pages = {52-76}
+    month	= sep,
+    year	= 1985,
+    volume	= 20,
+    number	= 9,
+    pages	= {52-76}
 }