D. Lessner and J. Vaníček, “Little beaver teaches computer science (4th part of the series – Tasks using logic)”, MFI, vol. 24, no. 5, pp. 377–390, Nov. 2015.