OpenAlex
Proof of Dilks' bijectivity conjecture on Baxter permutations
Work