My grandfather was a master mechanic; pretty much anytime he opened a hood and saw some crud on the battery he'd just squirt a bit of 3 in 1 oil on both terminals, give it a quick swipe with a wire brush and wipe it with a rag. Worked like a charm.