Jedan sustav obilježene prirodne dedukcije za Kangerovu teoriju prava - Žarnić, Berislav (Array, 2006)