Frontiers of combining systems: first international workshops, Munich, March 1996 (Dordrecht: Kluwer Academic Publishing, 1996)
References.
Keywords: Logic; Logic -- Combining Systems