Helmut Schmidt Communicating Control Knowledge to a Deductive Database System. 439-446 1992 ACM Conference on Computer Science http://doi.acm.org/10.1145/131214.131269 db/conf/acm/csc92.html#Schmidt92