mention domination chain paper in README.md

Author: chdoc

README.md

@@ -50,6 +50,7 @@ isomorphism).
   - [Graph Theory in Coq - Minors, Treewidth, and Isomorphisms](https://hal.archives-ouvertes.fr/hal-02316859) doi:[10.1007/s10817-020-09543-2](https://doi.org/10.1007/s10817-020-09543-2)
   - [Completeness of an Axiomatization of Graph Isomorphism via Graph Rewriting in Coq](https://hal.archives-ouvertes.fr/hal-02333553) doi:[10.1145/3372885.3373831](https://doi.org/10.1145/3372885.3373831)
   - [A Formal Proof of the Minor-Exclusion Property for Treewidth-Two Graphs](https://hal.archives-ouvertes.fr/hal-01703922) doi:[10.1007/978-3-319-94821-8_11](https://doi.org/10.1007/978-3-319-94821-8_11)
+  - [Formalization of the Domination Chain with Weighted Parameters (Short Paper)](https://drops.dagstuhl.de/opus/volltexte/2019/11091/) doi:[10.4230/LIPIcs.ITP.2019.36](https://doi.org/10.4230/LIPIcs.ITP.2019.36)
 
 ## Building and installation instructions
 

meta.yml

@@ -29,6 +29,9 @@ publications:
 - pub_url: https://hal.archives-ouvertes.fr/hal-01703922
   pub_title: A Formal Proof of the Minor-Exclusion Property for Treewidth-Two Graphs
   pub_doi: 10.1007/978-3-319-94821-8_11
+- pub_url: https://drops.dagstuhl.de/opus/volltexte/2019/11091/
+  pub_title: Formalization of the Domination Chain with Weighted Parameters (Short Paper)
+  pub_doi: 10.4230/LIPIcs.ITP.2019.36
 
 authors:
 - name: Christian Doczkal