Title: Solving a problem in relevance logic with an automated theorem prover
First published: 1983