Knihy
Úvod »Pôvodné diela» Automatizované zpracování právních textů
Práca sa zaoberá analýzou právnych textov, skúma ich ako texty v odbornom formálnom jazyku, odkrýva problémy, ktoré sa môžu pri jeho spracovaní vyskytnúť a navrhuje ich riešenia, využívajúc aparát transparentnej intenzionálnej logiky.
Podľa výsledkov analýzy navrhuje systém pre syntézu práva v najširšom slova zmysle - od individuálnych práv a povinností vyplývajúcich z právnych predpisov, cez individuálne právne akty až k všeobecne záväzným predpisom.