A Framework for Testing Safety and Effective Computability of Extended Datalog - Krishnamurthy, Ravi; Ramakrishnan, Raghu; Shmueli, Oded (University of Wisconsin-Madison Department of Computer Sciences, 1988)