A very minimal overview decision procedures and semi-decision procedures with some connections to propositional logic.
No download links available.