1-3 of 3 Books
Deduction
By WOLFGANG BIBEL
Frontiers of combining systems
By FroCoS 2002 (2002 Santa Margherita Ligure, Italy)
Frontiers of Combining Systems
By Bernhard Gramlich