diff --git a/.gitmodules b/.gitmodules
index 3c9d7b9..e5ee0f5 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -8,4 +8,4 @@
 
 [submodule "text/kr24"]
 	path = text/kr24
-	url = https://git.overleaf.com/65f422781f1d04e2c0aefd56
\ No newline at end of file
+	url = git@git.xdi.uevora.pt:spa/zw-kr24.git
\ No newline at end of file
diff --git a/code/asp/dneg.lp b/code/asp/dneg.lp
new file mode 100644
index 0000000..26517e9
--- /dev/null
+++ b/code/asp/dneg.lp
@@ -0,0 +1,2 @@
+a(X); -a(X) :- X = 1.
+c(X) :- -a(X).
\ No newline at end of file
diff --git a/text/kr24 b/text/kr24
index f00aad8..b3b0f82 160000
--- a/text/kr24
+++ b/text/kr24
@@ -1 +1 @@
-Subproject commit f00aad856e453c4f9059046a34a23bf5874f2256
+Subproject commit b3b0f8233468c5b2c623dafa72ba8d0e566db303
--
libgit2 0.21.2