Title: Some new results on resolution in automated theorem proving
Subjects: Automatic theorem proving, Data processing, Functions, Mathematics, Computer science