Semantic Annotation of Textual Entailment. - Assaf Toledo; Stavroula Alexandropoulou; Sophia Katrenko; Heidi Klockmann; Pepijn Kokke; Yoad Winter (IWCS, 2013)

Annotating by Proving using SemAnTE. - Assaf Toledo; Stavroula Alexandropoulou; Sophie Chesney; Robert Grimm 003; Pepijn Kokke; Benno Kruit; Kyriaki Neophytou; Antony Nguyen; Yoad Winter (EACL, 2014)

Auto in Agda - Programming Proof Search Using Reflection. - Pepijn Kokke; Wouter Swierstra (MPC, 2015)

Strong and Weak Quantifiers in Focused NLC. - Pepijn Kokke (LACL, 2016)