DMCA

Dynamic Model Checking of Discourse Representation Structures with Pluralities ∗

by Rui Pedro Chaves