symbolic-sat/bibliography.bib

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

@Book{seibel05:_pract_common_lisp,
	year = {2005},
	publisher = {Apress},
	title = {Practical COMMON LISP},
	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)}
}