Parse error: syntax error, unexpected character 0x17 in /misc/HomePages/UserHomePages/i57/beckert/pub/Completion_Based_Handling_of_Equality_Ext_Abstr_TabWS93.pdf on line 441