| |
| 1993 | ||
|---|---|---|
| 2 | Tarun Arora, Raghu Ramakrishnan, William G. Roth, Praveen Seshadri, Divesh Srivastava: Explaining Program Execution in Deductive Systems. DOOD 1993: 101-119 | |
| 1 | Tarun Arora, Raghu Ramakrishnan, William G. Roth, Praveen Seshadri, Divesh Srivastava: Explaining Program Execution in Deductive Systems. LPE 1993: 1-7 | |
| 1 | Raghu Ramakrishnan | [1] [2] |
| 2 | William G. Roth | [1] [2] |
| 3 | Praveen Seshadri | [1] [2] |
| 4 | Divesh Srivastava | [1] [2] |