Efficient Conformance Checking of Rich Data-Aware Declare Specifications (Extended)