The research area of business process mining has vastly matured in recent years. Its main focus centers around the extraction and analysis of process models from event logs. A strong emphasis lies on the automatic discovery of models for which numerous algorithms have been proposed already. So far, most discovery algorithms were limited to the derivation of single-paradigm models, which contain either procedural or declarative constructs, targeting the mining of strict and flexible processes respectively. This paper proposes the first fully-automated mining technique to discover procedural workflows combined with Declare templates to capture processes that are difficult to mine with only a single paradigm, e.g. workflows with different laye...