Sciweavers

CSL
2008
Springer

Superposition for Fixed Domains

14 years 1 months ago
Superposition for Fixed Domains
Matthias Horbach, Christoph Weidenbach
Added 19 Oct 2010
Updated 19 Oct 2010
Type Conference
Year 2008
Where CSL
Authors Matthias Horbach, Christoph Weidenbach
Comments (0)