R. Stuckardt, “Verifying binding constraints for anaphor resolution”, hpsg, pp. 614–634, Oct. 2005.