François Bancilhon Naive Evaluation of Recursively Defined Relations. 165-178 1985 On Knowledge Base Management Systems (Islamorada) db/conf/db-workshops/islamorada85.html#Bancilhon85