RESOURCES.txt

Converting arbitrary statements to CNF:
	http://www.eecs.yorku.ca/course_archive/2009-10/S/3401/slides/02_CNF_Horn.pdf

Truth table -> CNF/DNF:
	https://www.youtube.com/watch?v=tpdDlsg4Cws

Propositional Resolution:
    http://logic.stanford.edu/intrologic/notes/chapter_05.html

Resolution examples:
	https://ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-825-techniques-in-artificial-intelligence-sma-5504-fall-2002/lecture-notes/Lecture7FinalPart1.pdf

Set of Support:
    http://www.doc.ic.ac.uk/~sgc/teaching/pre2012/v231/lecture9.html

   "This indicates the heuristic most used in set of support strategies: 
	start with just the negated theorem in the SOS and keep adding in those clauses 
	which are generated from the resolution of anything with an SOS member."

Set of Support v. Linear Input:
	https://math.stackexchange.com/questions/1627473/propositional-logic-resolution-strategies

AI Overview (general):
    http://www.doc.ic.ac.uk/~sgc/teaching/pre2012/v231/

Resolution overview (in the first-order case):
	https://classes.soe.ucsc.edu/cmps290g/Fall09/Papers/Ch12_ResolutionTheoremProving.pdf

Logic workbook:
	http://www.kpaprzycka.filozofia.uw.edu.pl/Publ/xLogicSelfTaught.html

Worked Proofs:
	https://www.cs.rochester.edu/~nelson/courses/csc_173/proplogic/resolution.html