Scavenger 0.1: A Theorem Prover Based on Conflict Resolution. - Daniyar Itegulov; John K. Slaney; Bruno Woltzenlogel Paleo (CADE, 2017)

Sensala: a Dynamic Semantics System for Natural Language Processing. - Daniyar Itegulov; Ekaterina Lebedeva; Bruno Woltzenlogel Paleo (COLING (Demos), 2018)

Handling Verb Phrase Anaphora with Dependent Types and Events. - Daniyar Itegulov; Ekaterina Lebedeva (WoLLIC, 2018)