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