diff --git a/CarneadesDSL.cabal b/CarneadesDSL.cabal
--- a/CarneadesDSL.cabal
+++ b/CarneadesDSL.cabal
@@ -1,6 +1,6 @@
 name:          CarneadesDSL
 category:      Argumentation, Embedded, AI
-version:       1.1
+version:       1.1.0.1
 license:       BSD3
 cabal-version: >= 1.2
 license-file:  LICENSE
@@ -28,5 +28,6 @@
   exposed-modules:
     Language.Carneades.CarneadesDSL
     Language.Carneades.ExampleCAES
+    Language.Carneades.Cyclic
     
 
diff --git a/Language/Carneades/Cyclic.hs b/Language/Carneades/Cyclic.hs
new file mode 100644
--- /dev/null
+++ b/Language/Carneades/Cyclic.hs
@@ -0,0 +1,11 @@
+-- Based on initial code provided by Stefan Sabev
+module Language.Carneades.Cyclic(cyclic) where
+import Data.Graph.Inductive
+
+cyclic :: (DynGraph g) => g a b -> Bool
+cyclic g | not (null leafs) = cyclic (delNodes leafs g)
+         | otherwise        = not (isEmpty g)
+  where leafs = filter (isLeaf g) (nodes g)
+
+isLeaf :: (DynGraph g) => g a b -> Node -> Bool
+isLeaf g n = n `notElem` map fst (edges g)