Logical programming and searching techniques. University of Amsterdam, september 5th, 2013 - october 24th, 2013