Title: Zasada rezolucji
Subjects: Automatic theorem proving, Proof theory