Browse Source

Update bibliography, date

Samuel W. Flint 6 years ago
parent
commit
b8f18e9ea9
2 changed files with 7 additions and 4 deletions
  1. 5 2
      bibliography.bib
  2. 2 2
      symbolic-sat.org

+ 5 - 2
bibliography.bib

@@ -1,5 +1,7 @@
 
-@Misc{common_lisp_wikib,
+@Book{common_lisp_wikib,
+	author = {WikiBooks},
+	publisher = {Wikimedia Foundation},
 	url = {https://en.wikibooks.org/wiki/Common_Lisp},
 	title = {Common Lisp WikiBook}
 }
@@ -11,7 +13,8 @@
 	author = {Virginia Klenk}
 }
 
-@Misc{pitmann05:_common_lisp_hyper,
+@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},

+ 2 - 2
symbolic-sat.org

@@ -1,7 +1,7 @@
 #+Title: Symbolic SAT Solver
 #+AUTHOR: Samuel W. Flint
 #+EMAIL: swflint@flintfam.org
-#+DATE: <2018-03-17 Sat 15:35>
+#+DATE: \today
 #+INFOJS_OPT: view:info toc:nil path:http://flintfam.org/org-info.js
 #+OPTIONS: toc:nil H:5 ':t *:t todo:nil stat:nil d:nil
 #+PROPERTY: header-args :noweb no-export :comments noweb
@@ -565,4 +565,4 @@ This is organized as follows: handler storage, a recipe for handler definition,
 
 * Bibliography                                                       :ignore:
 
-#+BIBLIOGRAPHY: bibliography plain
+#+BIBLIOGRAPHY: bibliography acm