TY - CONF T1 - Forward and Backward Steps in a Fibration JO - Leibniz International Proceedings in Informatics, LIPIcs PY - 2023/09/01 AU - Turkenburg R AU - Beohar H AU - Kupke C AU - Rot J ED - DO - DOI: 10.4230/LIPIcs.CALCO.2023.6 SN - 9783959772877 VL - 270 Y2 - 2025/04/05 ER -