Řešení a generování deterministických a nedeterministických logických úloh - Vyhlídal, Pavel (2013)