Richard Hull Dean Jacobs On the Semantics of Rules in Database Programming Languages. 59-85 1990 East/West Database Workshop db/conf/ewdw/ewdw90.html#HullJ90 http://dx.doi.org/10.1007/3-540-54141-1_5