https://grubmueller.dev/ https://grubmueller.dev/about/ https://grubmueller.dev/projects/ https://grubmueller.dev/publications/ https://grubmueller.dev/publications/2022-bt-cp-integration/ 2022-06-06 https://grubmueller.dev/publications/2024-bt-unification-bdr/ 2024-09-10 https://grubmueller.dev/publications/2025-cp-integration/ 2025-02-13 https://grubmueller.dev/publications/2026-mt-iterative-sets/ 2026-01-14