Gliesch, A., & 		Ritt, M.
(2017).
Solving Atomix with Pattern Databases.
<em>BRACIS, </em>.
doi:10.1235/bracis.vi.88