The problem of choosing the inference rule to employ Larry Wos Basic Research Problems Pages: 201 - 209
Some experiments in nonassociative ring theory with an automated theorem prover Rick L. Stevens Problem Corner Pages: 211 - 221