Gliesch, Alex, & Marcus Ritt.
"Solving Atomix with Pattern Databases." <em>BRACIS</em> [Online], (2016): n. pag. Web. 10 Jul. 2026