Efficient certified resolution proof checking

TitleEfficient certified resolution proof checking
Publication TypeConference Paper
Year of Publication2017
AuthorsCruz-Filipe, L., J. Marques-Silva, and P. Schneider-Kamp
Conference NameInternational Conference on Tools and Algorithms for the Construction and Analysis of Systems
PublisherSpringer