symbolic-sat/bibliography.bib

@Misc{common_lisp_wikib,
	url = {https://en.wikibooks.org/wiki/Common_Lisp},
	title = {Common Lisp WikiBook}
}

@Book{klenk08:_under_symbol_logic,
	year = {2008},
	publisher = {Pearson Education, Inc.},
	title = {Understanding Symbolic Logic, Fifth Edition},
	author = {Virginia Klenk}
}

@Misc{pitmann05:_common_lisp_hyper,
	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},
	title = {Practical COMMON LISP},
	author = {Peter Seibel}
}