iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/conf/icdcit/BabikH08.xml
Marian Babik Ladislav Hluchý On Automated Testing of Description Logic Reasoners. 13-25 2008 ICDCIT https://doi.org/10.1007/978-3-540-89737-8_2 conf/icdcit/2008 db/conf/icdcit/icdcit2008.html#BabikH08