Journal article icon

Journal article

On the Efficiency of Subsumption Algorithms

Actions


Authors


Georg Gottlob More by this author
Alexander Leitsch More by this author
Journal:
J. ACM
Volume:
32
Issue:
2
Pages:
280-295
Publication date:
1985
URN:
uuid:25fba8ee-c1ef-45e7-9585-3bcb989bc687
Local pid:
cs:318

Terms of use


Metrics



If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP