Interview with Alan Robinson, inventor of resolution logic

Open in new window