Tarun Arora, Raghu Ramakrishnan, William G. Roth, Praveen Seshadri, Divesh Srivastava. Explaining Program Execution in Deductive Systems. In LPE. pages 1-7, 1993.
@inproceedings{AroraRRSS93:0, title = {Explaining Program Execution in Deductive Systems}, author = {Tarun Arora and Raghu Ramakrishnan and William G. Roth and Praveen Seshadri and Divesh Srivastava}, year = {1993}, researchr = {https://researchr.org/publication/AroraRRSS93%3A0}, cites = {0}, citedby = {0}, pages = {1-7}, booktitle = {LPE}, }