What does the acronym marvel stand for?

Machine-Assisted Realization of the Virtual Electronic Library