Updated bibliography

bibliography.bib

@@ -1,11 +1,4 @@
 
-@Book{common_lisp_wikib,
-	author = {WikiBooks},
-	publisher = {Wikimedia Foundation},
-	url = {https://en.wikibooks.org/wiki/Common_Lisp},
-	title = {Common Lisp WikiBook}
-}
-
 @Book{klenk08:_under_symbol_logic,
 	year = {2008},
 	publisher = {Pearson Education, Inc.},
@@ -13,14 +6,6 @@
 	author = {Virginia Klenk}
 }
 
-@Book{pitmann05:_common_lisp_hyper,
-	publisher = {LispWorks, Ltd.},
-	url = {http://www.lispworks.com/documentation/HyperSpec/Front/index.htm},
-	year = {2005},
-	title = {The Common Lisp Hyperspec},
-	author = {Kent Pitman}
-}
-
 @Book{seibel05:_pract_common_lisp,
 	year = {2005},
 	publisher = {Apress},
@@ -28,3 +13,22 @@
 	author = {Peter Seibel}
 }
 
+
+
+@misc{CommonLi93:online,
+author = {Kent Pitman},
+title = {Common {Lisp} {HyperSpec} {(TM)}},
+howpublished = {\url{http://www.lispworks.com/documentation/HyperSpec/Front/index.htm}},
+month = {},
+year = {},
+note = {(Accessed on 03/22/2018)}
+}
+
+@misc{CommonLi95:online,
+author = {},
+title = {Common {Lisp} - {Wikibooks}, open books for an open world},
+howpublished = {\url{https://en.wikibooks.org/wiki/Common_Lisp}},
+month = {},
+year = {},
+note = {(Accessed on 03/22/2018)}
+}

symbolic-sat.org

@@ -45,7 +45,7 @@ The following describes and implements a SAT solver for the five most common log
  3. A description of several utilities used in the Solver.  These utilities are not particularly interesting, but do help to abstract away certain common tasks used in the main solver.
  4. A description of how the software is packaged as a library.  This in and of itself is rather mundane, however it should help to further demonstrate the organization of software.
 
-This SAT solver is written in a language called Common Lisp ([[cite:pitmann05:_common_lisp_hyper]]), known well in the AI community.  For those unfamiliar, aside from the previously cited source several good resources are available ([[cite:common_lisp_wikib,seibel05:_pract_common_lisp]]).
+This SAT solver is written in a language called Common Lisp [[cite:CommonLi93:online]], known well in the AI community.  For those unfamiliar, aside from the previously cited source several good resources are available [[cite:CommonLi95:online,seibel05:_pract_common_lisp]].
 
 * TOC                                                                :ignore: