Keyword:automated theorem proving

Papers
EasyChair Preprint no. 98
EasyChair Preprint no. 8