Frontiers of combining systems : first international workshop, Munich, March 1996 - Baader, Franz von, 1765-1841; Schulz, K. U. (Klaus Ulrich), 1957- (Applied logic series ;, 1996)