Author(s): Chaves, Rui P. Title: Dynamic Model Checking for Discourse Representation Structures with Pluralities Keywords: Model checking, Discourse Representation Theory Date submitted: 2007 07 23