Implementing Intermediate Logics. - Bastiaan Haaksema; Jens Otten; Revantha Ramanayake (ARQNL@IJCAR, 2024)