Formalizing flint: A Logic of Preconditions and Consequences of Actions. - Thom van Gessel; Frank Goossens (DEON, 2025)