User:Alvinz/sandbox

Article drafts:
 * /Modal_clausal_form
 * /Counterexample-guided abstraction refinement