doi dblp Exploiting Parallelism in a Structural Scientific Discovery System to Improve Scalability Gehad Galal | Diane J. Cook | Lawrence B. Holder 1999 Volume 50 Issue 1