Hans Jürgen Ohlbach

• Solving a problem in relevance logic with an automated theorem prover