@bookHansmeier_2017, title=An FPGA Accelerator for Checking Resolution Proofs, publisher=Universität Paderborn, author=Hansmeier, Tim, year=2017