Reasoning with preorders and dynamic sorts using free variable tableaux | Publicación