Efficient certified resolution proof checking

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