diff --git a/prism/src/jdd/JDD.java b/prism/src/jdd/JDD.java
index 00095268..cfd3d93a 100644
--- a/prism/src/jdd/JDD.java
+++ b/prism/src/jdd/JDD.java
@@ -298,6 +298,18 @@ public class JDD
 		DD_Deref(ptr);
 	}
 
+	/**
+	 * Dereference dds, multi-argument variant.
+	 * The dds have to be non-{@code null}.
+	 * <br>[ REFS: <i>none</i>, DEREFS: <i>all argument dds</i> ]
+	 */
+	public static void Deref(JDDNode... dds)
+	{
+		for (JDDNode d : dds) {
+			JDD.Deref(d);
+		}
+	}
+
 	/**
 	 * print cudd cache info
 	 * <br>[ REFS: <i>none</i>, DEREFS: <i>none</i> ]