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