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