website/content/research/termreasoning/rewriting
..
algorithm.md
fv-narrowing.md
variants.md