https://123dok.net/document/zx5odx3o-relaxed-abduction-robust-information-interpretation-for-incomplete-models.html