Ontological Modelling of a Psychiatric Clinical Practice Guideline. - Daniel Gorín; Malte Meyn; Alexander Naumann; Miriam Polzer; Ulrich Rabenstein; Lutz Schröder (KI, 2017)

Negative Translations and Normal Modality. - Tadeusz Litak; Miriam Polzer; Ulrich Rabenstein (FSCD, 2017)

Local Local Reasoning: A BI-Hyperdoctrine for Full Ground Store. - Miriam Polzer; Sergey Goncharov 001 (FoSSaCS, 2020)