"reflexiv"@cs .