@InCollection{BLU2006, author = {Alexander Bolotov and Pawe{\l} {\L}upkowski and Mariusz Urba\'{n}ski}, title = {Search and check. Problem solving by problem reduction}, booktitle = {Artificial Intelligence and Soft Computing}, pages = {505--510}, publisher = {Academic Publishing House EXIT}, year = {2006}, editor = {A. Cader et al.}, address = {Warszawa}, }