Login / Signup

On the Efficiency of Subsumption Algorithms

Georg GottlobAlexander Leitsch
Published in: J. ACM (1985)
Keyphrases