A Framework for Testing Safety and Effective Computability of Extended Datalog
doi 10.1145/50202.50219
Full Text
Open PDFAbstract
Available in full text
Date
January 1, 1988
Authors
Publisher
ACM Press
Available in full text
January 1, 1988
ACM Press