PP-2003-10: Patrick Blackburn, Maarten Marx Tableaux for Quantified Hybrid Logic 1.Full Text, 2.Abstract. < Back
