Kommrusch, Steve, Monperrus, Martin, and Pouchet, Louis-Noël. Self-Supervised Learning to Prove Equivalence Between Straight-Line Programs via Rewrite Rules. Retrieved from https://par.nsf.gov/biblio/10512825. IEEE Transactions on Software Engineering 49.7 Web. doi:10.1109/TSE.2023.3271065.

Kommrusch, Steve, Monperrus, Martin, & Pouchet, Louis-Noël. Self-Supervised Learning to Prove Equivalence Between Straight-Line Programs via Rewrite Rules. IEEE Transactions on Software Engineering, 49 (7). Retrieved from https://par.nsf.gov/biblio/10512825. https://doi.org/10.1109/TSE.2023.3271065

Kommrusch, Steve, Monperrus, Martin, and Pouchet, Louis-Noël. "Self-Supervised Learning to Prove Equivalence Between Straight-Line Programs via Rewrite Rules". IEEE Transactions on Software Engineering 49 (7). Country unknown/Code not available: IEEE. https://doi.org/10.1109/TSE.2023.3271065. https://par.nsf.gov/biblio/10512825.

@article{osti_10512825,
place = {Country unknown/Code not available}, title = {Self-Supervised Learning to Prove Equivalence Between Straight-Line Programs via Rewrite Rules}, url = {https://par.nsf.gov/biblio/10512825}, DOI = {10.1109/TSE.2023.3271065}, abstractNote = {}, journal = {IEEE Transactions on Software Engineering}, volume = {49}, number = {7}, publisher = {IEEE}, author = {Kommrusch, Steve and Monperrus, Martin and Pouchet, Louis-Noël}, }