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},
}