The Design and Implementation of a Relational Programming Language (1993)

by D M Cattrall