Martin, R. R.; Methuku, A.; Uzzell, A.; Walker, S. A Simple Proof for a Forbidden Subposet Problem. Electron. J. Combin. 2020, 27, P1.31.