Crossing Coreference in Discourse Representation Theory

Sentences with crossing coreference (Bach-Peters-sentences) are notoriously difficult to explain in a natural manner. An intriguing parallel with certain properties of Prolog suggests a modification to Discourse Representation Theory which allows a simple and coherent explanation of these, and related, sentences.