Tarun Arora Raghu Ramakrishnan William G. Roth Praveen Seshadri Divesh Srivastava Explaining Program Execution in Deductive Systems. 1-7 1993 LPE db/conf/lpe/lpe93.html#AroraRRSS93