"OASIS"@cs .