PP-2002-12: Patrick Blackburn, Maarten Marx Constructive Interpolation in Hybrid Logic 1.Full Text, 2.Abstract. < Back
