HIRMA: Hypertextual Information Retrieval System Managed by ARIOSTO. - Basili, Roberto; Grisoli, Fabrizio; Pazienza, Maria Teresa (Data Knowl. Eng., 1995)