Verifying Time and Communication Costs of Rule-Based Reasoners.

Natasha Alechina Brian Logan Nguyen Hoang Nga Abdur Rakib Verifying Time and Communication Costs of Rule-Based Reasoners. 1-14 2008 MoChArt http://dx.doi.org/10.1007/978-3-642-00431-5_1 conf/mochart/2008 db/conf/mochart/mochart2008.html#AlechinaLNR08