This version is available at https://strathprints.strath.ac.uk/64751/ Strathprints is designed to allow users to access the research output of the University of Strathclyde. Unless otherwise explicitly stated on the manuscript, Copyright © and Moral Rights for the papers on this site are retained by the individual authors and/or other copyright owners. Please check the manuscript for details of any other licences that may have been applied. You may not engage in further distribution of the material for any profitmaking activities or any commercial gain. You may freely distribute both the url (https://strathprints.strath.ac.uk/) and the content of this paper for research or private study, educational, or not-for-profit purposes without prior permission or charge.Any correspondence concerning this service should be sent to the Strathprints administrator: strathprints@strath.ac.ukThe Strathprints institutional repository (https://strathprints.strath.ac.uk) is a digital archive of University of Strathclyde research outputs. It has been developed to disseminate open access research outputs, expose data about those outputs, and enable the management and persistent access to Strathclyde's intellectual output. Due to the stricter government regulations on end-of-life product treatment and the increasing public awareness towards environmental issues, remanufacturing has been a significantly growing industry over the last decades, offering many potential business opportunities. In this paper, we investigate a crucial problem apparent in this industry, the remanufacturing lot-sizing problem with separate setups. We first discuss two reformulations of this problem, and remark an important property with regards to their equivalence. Then, we present a theoretical investigation of a related subproblem, where our analysis indicates that a number of flow cover inequalities are strong for this subproblem under some general conditions. We then investigate the computational effectiveness of the alternative methods discussed for the original problem. Detailed numerical results are insightful for the practitioner, indicating that in particular when the return variability increases or when the remanufacturing setup costs decrease relevant to manufacturing setup costs, the flow covers can be very effective.