@INPROCEEDINGS{noschinski2012girth,
      author = {Lars Noschinski},
      title = {Proof Pearl: A Probabilistic Proof for the Girth-Chromatic Number
                Theorem},
      booktitle = {Proc. ITP 2012},
      year = {2012},
}