@unpublished{tractablebenchmarks,
  title = "Tractable benchmarks",
  author = "Justyna Petke and Peter G. Jeavons",
  year = "2009",
}