"Peter Christelis"@cs .