Negation and proof by contradiction in access-limited logic (1991)
getRelatedPeopleByPubID: Invalid result for pubs.PubID 640