Title: Adding equality to semantic tableaux