Ravi Krishnamurthy, Raghu Ramakrishnan, Oded Shmueli. A Framework for Testing Safety and Effective Computability of Extended Datalog (Extended Abstract). In Haran Boral, Per-Åke Larson, editors, Proceedings of the 1988 ACM SIGMOD International Conference on Management of Data, Chicago, Illinois, June 1-3, 1988. pages 154-163, ACM Press, 1988. [doi]
Abstract is missing.