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