Reasoning about property preservation in adaptive case managementRik EshuisRichard B. Hullet al.2019ACM TOIT