Authors:
CAU MG
DIMARTINO ML
MUGGIANU E
SOTGIU D
URAS B
MANCA E
PUDDU S
MANCONI PE
DELGIACCO GS
Citation: Mg. Cau et al., IMMUNOLOGICAL AND VIROLOGICAL PARAMETERS IN HIV-INFECTED INDIVIDUALS WITH PREVIOUS SPLENECTOMY, Journal of allergy and clinical immunology, 101(1), 1998, pp. 89-89
Citation: S. Puddu et J. Sabia, AN EFFECTIVE ALGORITHM FOR QUANTIFIER ELIMINATION OVER ALGEBRAICALLY CLOSED FIELDS USING STRAIGHT-LINE PROGRAMS, Journal of pure and applied algebra, 129(2), 1998, pp. 173-200