Implementing Dynamic-epistemic Questioning - Engineering and Teaching Information Seeking via Dynamic Inquiry. - Stefan Minica (CSEDU (2), 2010)

Question-answer games. - Thomas Ågotnes; Johan van Benthem; Hans van Ditmarsch; Stefan Minica (J. Appl. Non Class. Logics, 2011)

Synthesising and Implementing Tableau Calculi for Interrogative Epistemic Logics. - Stefan Minica; Mohammad Khodadadi; Renate A. Schmidt; Dmitry Tishkovsky (PAAR@IJCAR, 2012)

Toward a Dynamic Logic of Questions. - Johan van Benthem; Stefan Minica (J. Philos. Log., 2012)

RAESON: A Tool for Reasoning Tasks Driven by Interactive Visualization of Logical Structure. - Stefan Minica (CoRR, 2015)