Gliesch, A., & 		Ritt, M.
2017 Jul  2. Solving Atomix with Pattern Databases. BRACIS. [Online] :