"Martin Reasoner"@cs .