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!

1 files changed, 9 insertions, 1 deletions

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}
+}