Revisiting separation: Algorithms and complexity. - Daniel Oliveira 011; João Rasga (Log. J. IGPL, 2021)