A poromechanical model for the branching of hydraulic fractures in rocks with pre-existing weak layers | Synapse