LARA This is an old revision of the document! Combining Decision Procedures Idea of Quantifier-Free Combination A Simple Sound Combination Method Atomic Diagram Normal Form Combining FOL Models