Background updated.
Thesis updated.
Fixes by Kimber applied.
Def added.
Rationale appendix added.
bar to overline.|
First-order ext proof extended.
Inverse subsumption better proof.
Spell-checking corrections.
Spell-checking corrections.
Spell-checking corrections.
Spell-checking corrections.
Spell-checking corrections.