Parse error: syntax error, unexpected character 0x11 in /misc/HomePages/UserHomePages/i57/beckert/pub/ijcar2006.pdf on line 1210