The Semantics of Modules in Common Logic

Created January 20, 2010, Updated February 25, 2010