Frying the egg, roasting the chicken: Unit deletions in DRAT proofs. Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs. https://doi.org/10.1145/3372885.3373821
Chicago Style (17th ed.) Citation"Frying the Egg, Roasting the Chicken: Unit Deletions in DRAT Proofs." Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs . https://doi.org/10.1145/3372885.3373821.
MLA (9th ed.) Citation"Frying the Egg, Roasting the Chicken: Unit Deletions in DRAT Proofs." Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, , https://doi.org/10.1145/3372885.3373821.
Warning: These citations may not always be 100% accurate.