added a few links for the inference rules lecture