A quasi-manifold-based probabilistic method for real-time interpretation of interbedded strata from sparse boreholes | Synapse