Papers tagged non well founded sets