1991
Report
Title

Problem-reduction methods and clause splitting in automated theorem proving

Author(s)
Egly, U.
Corporate Author
TH Darmstadt
Publisher
Publishing Place
Sankt Augustin
Language
English