https://123dok.net/document/oy8wknwy-comparaison-de-relations-d-inference-non-monotone-etude-de-complexite.html