Ground confluence of order-sorted conditional specifications modulo axioms | Publicación