Some properties of subbases in weak combinatory logic - Batini, Carlo; Pettorossi, Alberto (Istituto di Automatica <Roma>: Rapporti dell'Istituto di Automatica dell'Università di Roma e del Centro di Studio dei Sistemi di Controllo e Calcolo Automatici del C.N.R., 1975)