@inproceedings{inproceedings, title  = {{Forward and Backward Steps in a Fibration}},

 url = {{}},

 year = {{2023}},

 month = {{9}},

 author = {{Turkenburg R and Beohar H and Kupke C and Rot J}},

 doi = {{10.4230/LIPIcs.CALCO.2023.6}},

 isbn = {{9783959772877}},

 volume = {{270}},

 journal = {{Leibniz International Proceedings in Informatics, LIPIcs}},

 note = {{Accessed on 2024/12/20}}}