Implementation of Recursive Queries for a Data Language Based on Pure Horn Logic.

Domenico Saccà Carlo Zaniolo Implementation of Recursive Queries for a Data Language Based on Pure Horn Logic. 104-135 1987 ICLP db/conf/iclp/iclp87.html#SaccaZ87