Generation and Properties of Snarks - Gunnar Brinkmann; Jan Goedgebeur; Jonas Hägglund; Klas Markström (2012)