"Martin Drover"@cs .