Utilizing first-order logic in query processing. - Djamshid Asgari; Lawrence J. Henschen (ACM Conference on Computer Science, 1984)