Constructive interpolation in hybrid logic - Blackburn, Patrick 1959-; Marx, Maarten (Inst. for Logic, Language and Computation, 2002)
Keywords: Mathematische Logik