The Semantics of Modules in Common Logic

Created January 20, 2010, Updated February 19, 2017