Keyword:order-sorted logic

Papers
Fuzzy Order-Sorted Feature Term Unification Gian Carlo Milanese and Gabriella Pasi EasyChair Preprint no. 8674