DUŽÍ, Marie, Marek MENŠÍK, Miroslav PAJR a Vojtěch PATSCHKA. Natural deduction system in the TIL-script language. In Endrjukaite, T., Jaakkola, H., Dudko, A., Kiyoki, Y., Thalheim, B., Yoshida, N. Frontiers in Artificial Intelligence and Applications. 312. vyd. Amsterdam: IOS Press. s. 237-255. ISBN 978-1-61499-933-1. doi:10.3233/978-1-61499-933-1-237. 2019.