Formal paper
This formal paper remains available as a PDF. Read it alongside the constraint-closure system.