"AB logic"@cs .