“...IEEE Symposium on Logic in Computer Science New Brunswick, New Jersey)...”