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