Title: Al risveglio dal sogno
Subjects: Automatic theorem proving