Some of the class materials for this course where kindly provided by Robby at Kansas State University and by Andrei Voronkov at the University of Manchester.
Many thanks to the people above for sharing their course materials and for their assistance.