Gliesch, Alex, AND 		Ritt, Marcus.
"Solving Atomix with Pattern Databases" <em>BRACIS</em> [Online], (2 July 2017)