Maximal antichains of subsets I: The shadow spectrum. - Jerrold R. Griggs; Thomas Kalinowski; Uwe Leck; Ian T. Roberts; Michael Schmitz 005 (CoRR, 2021)

Natural Language Proof Checking in Introduction to Proof Classes - First Experiences with Diproche. - Merlin Carl; Hinrich Lorenzen; Michael Schmitz 005 (ThEdu@CADE, 2021)

The Saturation Spectrum for Antichains of Subsets. - Jerrold R. Griggs; Thomas Kalinowski; Uwe Leck; Ian T. Roberts; Michael Schmitz 005 (Order, 2023)

Sizes of Flat Maximal Antichains of Subsets. - Jerrold R. Griggs; Thomas Kalinowski; Uwe Leck; Ian T. Roberts; Michael Schmitz 005 (Order, 2025)