https://123dok.net/document/zwv98x90-enumerating-justifications-using-resolution.html