the use of operations research techniques in deductive databases door M.D. van der Lee