Tarun Arora Raghu Ramakrishnan William G. Roth Praveen Seshadri Divesh Srivastava Explaining Program Execution in Deductive Systems. 101-119 1993 DOOD db/conf/dood/dood93.html#AroraRRSS93 http://dx.doi.org/10.1007/3-540-57530-8_7