"Thiovulum"@cs .