"PostSignum"@cs .