Introducing Logic-based Integrative Causal Discovery