Fast Subsumption Algorithms
Georg Gottlob and Alexander Leitsch
Book Title
EUROCAL '85‚ European Conference on Computer Algebra‚ Linz‚ Austria‚ April 1−3‚ 1985‚ Proceedings Volume 2: Research Contributions
Editor
B. F. Caviness
ISBN
3−540−15984−3
Pages
64−77
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
204
Year
1985