"Tendu"@cs . "tendu"@cs .