On (Coalitional) Exchange-Stable Matching. - Jiehua Chen 001; Adrian Chmurovic; Fabian Jogl; Manuel Sorge (SAGT, 2021)

Well-founded Semantics for Recursive SHACL. - Adrian Chmurovic; Mantas Simkus (Datalog, 2022)