@ARTICLE{AICPub880:2001, AUTHOR={Karp, P.D.}, TITLE={Pathway Databases: A Case Study in Computational Symbolic Theories}, JOURNAL={Science}, PAGES={2040-4}, VOLUME={293}, YEAR={2001} }