CSL18: COMPUTER SCIENCE LOGIC 2018
SLIDES