Djamshid Asgari, Lawrence J. Henschen. Utilizing first-order logic in query processing. In Frank L. Friedman, James F. Korsh, editors, Proceedings of the ACM 12th annual computer science conference on SIGCSE symposium, CSC 1984, Philadelphia, Pennsylvania, USA, February 14-16, 1984. pages 147-154, ACM, 1984. [doi]
Abstract is missing.