Malcolm C. Taylor Logical Optimisation of Distributed Knowledge Base Queries. 49-60 1990 33 Comput. J. 1 db/journals/cj/cj33.html#Taylor90 http://dx.doi.org/10.1093/comjnl/33.1.49