A framework for step-wise explaining how to solve constraint satisfaction problems - Gamba Emilio (2021)