Title: Derived preconditions and their use in program synthesis
Subjects: Automatic theorem proving