Interpreting modal natural deduction as resolution. - David Edward Ashdown Robinson (2009)