Proving Correctness of a KRK Chess Endgame Strategy by SAT-based Constraint Solving. - Marko Malikovic; Predrag Janicic (J. Int. Comput. Games Assoc., 2013)

Proving Correctness of a KRK Chess Endgame Strategy by Using Isabelle/HOL and Z3. - Filip Maric; Predrag Janicic; Marko Malikovic (CADE, 2015)

Computer-Assisted Proving of Combinatorial Conjectures Over Finite Domains: A Case Study of a Chess Conjecture. - Predrag Janicic; Filip Maric; Marko Malikovic (Log. Methods Comput. Sci., 2019)