Thomas Ludwig Stefan Benzschawel Erich Gehlen Differential Closure Computation for General Horn-Clause Queries IWBS Report 201 1991 IBM Germany Science Center, Institute for Knowledge Based Systems