Deciding a Combination of Theories - Decision Procedure - Changki Hong @ pswlab Combination of Theories Daniel Kroening, Ofer Strichman Presented by Changki.