https://123dok.net/document/q5m3g1g3-an-expspace-tableau-based-algorithm-for-shoiq.html