%0 Journal Article %A Karp, P.D. %T Pathway Databases: A Case Study in Computational Symbolic Theories %B Science %P 2040-4 %V 293 %D 2001