Keyword:many-sorted logic

Publications
EasyChair Preprint 8674