"AB Logic"@cs .