Peter Päppinghaus: Pi<sub>2</sub>-models of extensions of Kripke-Platek set theory. Logic Colloquium 1985: 213-232