working on a Karp-Miller-like whistle for `CntSc'`
still working on a whistle close to the Karp-Miller method
more essays to define a Karp-Miller-like whistle for `CntSc'`
more essays to define a Karp-Miller-like whistle for `CntSc'`
more essays to define a Karp-Miller-like whistle for `CntSc'`
more essays to define a Karp-Miller-like whistle for `CntSc'`
add `af-inverseImage`
more essays to define a Karp-Miller-like whistle for `CntSc'`
essays on an alternative construction af=>bar
comment out (for now) the essays for a counter-system supercompiler similar to Karp-Miller trees
building a WF from an AF relation
working on an alternative construction of a bar from an almost-full relation
an alternative definition for transitive closure
an alternative construction of a bar from an almost-full relation