Skip to main content

Algebra and automated deduction

Steve Linton‚ Ursula Martin‚ Péter Pröhle and Duncan Shand

Journal
Automated Deduction�Cade−13
Pages
448–462
Publisher
Springer Berlin/Heidelberg
Year
1996