Checking Validity of Quantifier-Free Formulas in Combinations of First-Order Theories Clark W. Barrett Ph.D. Dissertation Defense Department of Computer.
Model based Analysis, Design, Optimization and Control of Complex (Bio)Chemical Conversion Processes Bioprocess Technology and Control - KULeuven.