@ARTICLE{
author={Janicic Predrag,Maric Filip M,Malikovic Marko},
year={2019},
title={Computer-Assisted Proving of Combinatorial Conjectures Over Finite Domains: a Case Study of a Chess Conjecture},
journal={LOGICAL METHODS IN COMPUTER SCIENCE},
volume={15},
number={1},
pages={-},
document_type={Article},
} 

@ARTICLE{
author={Maric Filip M,Janicic Predrag,Malikovic Marko},
year={2015},
title={Proving Correctness of a KRK Chess Endgame Strategy by Using Isabelle/HOL and Z3},
journal={AUTOMATED DEDUCTION - CADE-25},
volume={9195},
number={},
pages={256-271},
document_type={Proceedings Paper},
} 

@ARTICLE{
author={Malikovic Marko,Janicic Predrag},
year={2013},
title={Proving Correctness of a Krk Chess Endgame Strategy by Sat-Based Constraint Solving},
journal={ICGA JOURNAL},
volume={36},
number={2},
pages={81-99},
document_type={Article},
}