Index: doc/bibliography/pl.bib
===================================================================
--- doc/bibliography/pl.bib	(revision 6eed619c3a4823cae4e1aa0fece8eb1c0cbcc591)
+++ doc/bibliography/pl.bib	(revision 71a12390eb03a6fdd2beefb60f5a0838f37b2ea8)
@@ -4065,4 +4065,17 @@
     number	= 1,
     pages	= {1-15},
+}
+
+@article{Morgado13,
+  keywords = {expression resolution},
+  contributer = {a3moss@uwaterloo.ca},
+  title={Iterative and core-guided {MaxSAT} solving: A survey and assessment},
+  author={Morgado, Antonio and Heras, Federico and Liffiton, Mark and Planes, Jordi and Marques-Silva, Joao},
+  journal={Constraints},
+  volume={18},
+  number={4},
+  pages={478--534},
+  year={2013},
+  publisher={Springer}
 }