Keyword:successor state axiom

Publications
EasyChair Preprint 1256