Type: LecturersCourses: Introduction to Deep InferenceAffiliation: University of BathCountry: United KingdomWebsite: http://www.cs.bath.ac.uk/pb/