A Resolution-Based Decision Procedure for

Yevgeny Kazakov, Boris Motik

Browse the full CADE paper archive.