SCP can be applied to questions which have negation, conjunction, disjunction, equivalence apart from implication as the main connective.
No download links available.