Splitter, L. A Guided Tour of the Logic in Harry Stottlemeier’s Discovery. AT 2014, 8.