On database logic (1982)

by B E Jacobs
Venue:Journal of the ACM