Keyword:reduction rule

Papers
EasyChair Preprint no. 113