Using Resolution for Extending KL-ONE-type Languages.

Tanel Tammet

Browse the full CIKM paper archive.