Keyword:axiom system

Publications
EasyChair Preprint 1702