D4.A — Logical Characterisation of Hybrid Conformance

ICALP 2020