Application of artificial intelligence in analysis of formalized legal knowledge

1263