Text this: 4OR a quarterly journal of operations research /