Stephen Victor Reeves

• Theorem-proving by semantic tableaux