Online_ISSN: 1465-363XDisciplina: Logic and Computer ScienceOASubject: Computer ScienceOA Type: Hybrid OAPublisher: OUP