https://9dok.net/document/yj7w2m96-many-valued-horn-logic-is-hard.html