TY - RPRT TI - Pathway databases: a case study in computational symbolic theories. AU - P D Karp PY - 2001 DO - 10.1126/science.1064621 UR - https://pubmed.ncbi.nlm.nih.gov/11557880/ ID - 11557880 ER -