Comparison of Natural Deduction and Locking Resolution Implementations. - Steven Greenbaum; A. Nagasaka; Paul O'Rorke; David A. Plaisted (CADE, 1982)