The Algorithm of Context Recognition in TIL. - Marie Duzí; Michal Fait (RASLAN, 2016)

Property Modifiers. - Marie Duzí; Michal Fait (RASLAN, 2017)

Type Checking Algorithm for the TIL-Script Language. - Marie Duzí; Michal Fait (EJC, 2018)

Question-Answering System in the TIL-Script Language. - Marie Duzí; Michal Fait (EJC, 2019)

Adjustment of Goal-driven Resolution for Natural Language Processing in TIL. - Marie Duzí; Michal Fait; Marek Mensík (RASLAN, 2019)

Integrating Special Rules Rooted in Natural Language Semantics into the System of Natural Deduction. - Marie Duzí; Michal Fait (ICAART (1), 2020)

HTLC: Hyperintensional Typed Lambda Calculus. - Michal Fait; Giuseppe Primiero (FLAP, 2021)