Local induction - Bogdan, Radu J. (Synthese library ; v. 93, 1976)