Enumerating Justifications Using Resolution.

Yevgeny Kazakov, Peter Skocovsk

Browse the full CADE paper archive.