=Paper= {{Paper |id=Vol-4116/paper136 |storemode=property |title=Recycling Algebraic Proof Certificates |pdfUrl=https://ceur-ws.org/Vol-4116/paper136.pdf |volume=Vol-4116 |authors=Daniela Kaufmann,Clemens Hofstadler }} ==Recycling Algebraic Proof Certificates== https://ceur-ws.org/Vol-4116/paper136.pdf
None