The Semantics of Modules in Common Logic

Created January 20, 2010, Updated October 19, 2016