Pathway Databases: A Case Study in Computational Symbolic Theories - Karp, PD (Science, 2001)