Tarun Arora, Raghu Ramakrishnan, William G. Roth, Praveen Seshadri, Divesh Srivastava. Explaining Program Execution in Deductive Systems. In DOOD. pages 101-119, 1993.
No references recorded for this publication.
No citations of this publication recorded.