Toward a Formal Reconstruction of Kelsen's Theory of Legal Systems | IEEE Conference Publication | IEEE Xplore