Böhm, J. Solving Brain Teasers/Twisters – CAS Assisted. R&E-SOURCE 2014, 1.