How Similar is What I Get to What I Want: Matchmaking for Mobility Support. - Ute Schmid; Lukas Berle; Michael Munz 002; Klaus Stein; Martin Sticht (Computational Approaches to Analogical Reasoning, 2014)

Multi-Agent Dialogue Games and Dialogue Sequents for Proof Search and Scheduling. - Martin Sticht (CILC, 2016)

Multi-Agent Dialogues and Dialogue Sequents for Proof Search and Scheduling in Intuitionistic Logic and the Modal Logic S4. - Martin Sticht (Fundam. Informaticae, 2018)

Proof Search in Multi-Agent Dialogues for Modal Logic. - Martin Sticht (2018)