DMCA

Pay-As-You-Go Description Logic Reasoning by Coupling Tableau and Saturation Procedures

Cached

Download Links

by Andreas Steigmiller , Birte Glimm