Source: https://cw.fel.cvut.cz/old/_media/courses/a4m33rzn/alc-tableau-algorithm.pdf