GLyC - Logic, Language and Computability Research Group