Nachum Dershowitz Goal Solving as Operational Semantics. 3-17 1995 ILPS db/conf/slp/slp95.html#Dershowitz95