And-or graphs and theorem-proving graphs determine the same kind of search space and differ only in the direction of search: from axioms to goals, in the case of theorem-proving graphs, and in the opposite direction, from goals to axioms, in the case of and-or graphs. Bi-directional search strategies combine both directions of search. We investigate the construction of a single general algorith...

Whereas plants and animals use the alpha-aminoadipic acid pathway to catabolize lysine, yeast and fungi use the very same pathway to synthesize lysine. These two groups of organisms also possess structurally distinct forms of two enzymes in this pathway, namely lysine-oxoglutarate reductase (lysine-ketoglutarate reductase; LKR) and saccharopine dehydrogenase (SDH): in plants and animals these e...