swMATH21570MaRDI QIDQ33377
No author found.
Source code repository: https://github.com/acl2/acl2/tree/master/books/projects/sat/lrat/
