Rule Validation Based on Logical Deduction.

Ping Wu, Stanley Y. W. Su

Browse the full CIKM paper archive.