Index: doc/bibliography/pl.bib
===================================================================
--- doc/bibliography/pl.bib	(revision f2c5726d5f2802d935e7a45e12307d1026459024)
+++ doc/bibliography/pl.bib	(revision 0f78f3c74fc2f16353aa503a1bfa00a74e3db1f7)
@@ -4150,4 +4150,16 @@
 }
 
+@misc{Matsakis17,
+    keywords	= {Rust, Chalk, PROLOG},
+    contributer	= {a3moss@uwaterloo.ca},
+    author	= {Nicholas Matsakis},
+    title	= {Lowering {Rust} traits to logic},
+    month	= jan,
+    year	= 2017,
+    howpublished= {\href{http://smallcultfollowing.com/babysteps/blog/2017/01/26/lowering-rust-traits-to-logic/}
+		  {http://smallcultfollowing.com/\-babysteps/\-blog/\-2017/\-01/\-26/\-lowering-rust-traits-to-logic/}},
+    optnote	= {Accessed: 2019-01},
+}
+
 @article{Cormack89,
     keywords	= {parsing, LR, error recovery},