CJ2 Algorithm Another way to look at the CNF http://lambda-the-ultimate.org/node/5414 : { a^i b^j, i > j > 0 } CJJ