Reiser, PGK, King, RD, Muggleton, SH, Bryant, CH, Oliver, SG, Kell, DB, "Developing a logical model of yeast metabolism", Electronic Transactions in Artificial Intelligence, 2001