@misc{indiciaee1704c103ec4,
  title = {A certifying algorithm for 3-colorability of P5-free graphs},
  author = {Daniel Bruce and Chinh T. Hoang and Joe Sawada},
  year = {2009},
  url = {https://arxiv.org/abs/0907.3497},
  note = {Source identifier: 0907.3497}
}