Parse error: Unmatched ']' in /misc/HomePages/UserHomePages/i57/beckert/pub/Adding_Equality_to_Semantic_Tableaux_TR_German.pdf on line 612