On Linear Ordering of Strongly Extensional Finitely-Branching Graphs and Non-well-founded Sets.

Alexei Lisitsa, Vladimir Yu. Sazonov

Browse the full LFCS paper archive.