From 1e907d883191571b5c374fd1c3b2f6c1fe11da83 Mon Sep 17 00:00:00 2001
From: "Zancanaro; Carlo" <czan8762@plang3.cs.usyd.edu.au>
Date: Thu, 8 Nov 2012 19:37:59 +1100
Subject: A few fixes to the MCF solver, and equation stuff

General work on the equation systems. Trying to get them to generate
correctly with the MCF stuff. It's harder than it seems!
---
 tex/thesis/references.bib | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

(limited to 'tex')

diff --git a/tex/thesis/references.bib b/tex/thesis/references.bib
index a7929fe..a68e126 100644
--- a/tex/thesis/references.bib
+++ b/tex/thesis/references.bib
@@ -141,4 +141,12 @@
   url = {http://www2.in.tum.de/~seidl/Courses/WS2011/Optimierung/all2011.pdf},
   urldate = {2012-11-04},
   year = {2011}
-}
\ No newline at end of file
+}
+@article{Rice,
+ author = {H. Rice},
+ title = {Classes of Recursively Enumerable Sets and their
+                Decision problems},
+ year = {1953},
+ journal = {Transactions of the American Mathematical Society},
+ volume = {83}
+}
-- 
cgit v1.2.3