diff --git a/src/intervaloptimisation.jl b/src/intervaloptimisation.jl
index 80641012..6e8d9c1a 100644
--- a/src/intervaloptimisation.jl
+++ b/src/intervaloptimisation.jl
@@ -13,7 +13,7 @@ end
 
 function load_intervaloptimization()
     return quote
-        using .IntervalOptimisation
+        using .IntervalOptimisation: HeapedVector, minimise, maximise
 
         _default_vector_MSE = HeapedVector
     end  # quote
diff --git a/src/polynomials.jl b/src/polynomials.jl
index 06aaf4b0..c71860e1 100644
--- a/src/polynomials.jl
+++ b/src/polynomials.jl
@@ -1,4 +1,4 @@
-using .MultivariatePolynomials
+using .MultivariatePolynomials: AbstractPolynomialLike, variables
 
 function enclose(p::AbstractPolynomialLike, dom::Interval_or_IntervalBox,
                  solver::AbstractEnclosureAlgorithm=NaturalEnclosure(); kwargs...)
diff --git a/src/sdp.jl b/src/sdp.jl
index 175e7b91..79aeeba4 100644
--- a/src/sdp.jl
+++ b/src/sdp.jl
@@ -1,4 +1,6 @@
-using .SumOfSquares
+# `@set` assumes that `SemialgebraicSets` is defined
+using .SumOfSquares: SOSModel, @set, SemialgebraicSets, @variable, @constraint, @objective,
+                     optimize!, objective_value
 
 function _enclose_sos(sose::SumOfSquaresEnclosure, p::AbstractPolynomialLike,
                       dom::Interval_or_IntervalBox;
diff --git a/src/taylormodels.jl b/src/taylormodels.jl
index c1bbc1e2..933187af 100644
--- a/src/taylormodels.jl
+++ b/src/taylormodels.jl
@@ -15,7 +15,7 @@ end
 
 function load_taylormodels()
     return quote
-        using .TaylorModels
+        using .TaylorModels: TaylorModel1, TaylorModelN, normalize_taylor, set_variables, evaluate
 
         @inline zeroBox(N) = IntervalBox(0 .. 0, N)
         @inline symBox(N) = IntervalBox(-1 .. 1, N)