"Adauctus"@cs .