Some properties of subbases in weak combinatory logic - Batini, Carlo; Pettorossi, Alberto (1975)