Randall Dougherty Critical Points in an Algebra of Elementary Embeddings. 211-241 1993 65 Ann. Pure Appl. Logic 3 db/journals/apal/apal65.html#Dougherty93