Authors: Erin Murphy, Alexander Rasin, Jacob Furst, Daniela Raicu, Roselyne Tchoua - Lecture notes in computer science 2021 cited by 6
