https://123dok.net/document/zx5o12wq-operation-based-model-representation-experiences-on-inconsistency-detection.html