ML-1996-12: Jon Barwise, Johan van Benthem Interpolation, Preservation, and Pebble Games 1.Full Text, 2.Abstract. < Back
