"Xanthus"@cs .