"subLOGIC"@cs .