The use of an ATMS in consistency checking of a legal expert system
2016 ◽
Vol 30
(3)
◽
pp. 94-106
◽
1997 ◽
Vol 1
(2)
◽
pp. 83-85
◽
Keyword(s):
1990 ◽
Vol 4
(1)
◽
pp. 55-76
◽
1992 ◽
Vol 4
(4)
◽
pp. 409-414
◽