Bondoni, D. Peirce and Schröder on the auflösungsproblem. LLP 2009, 18, 15-31.