The Use of an ATMS Inconsistency Checking of a Legal Expert System.

Olav Hdneb, Edvard Lkketangen

Browse the full ICAIL paper archive.