Section Publications provides an overview of the publications that describe the theoretical foundations of this work. Section Overview provides an overview on SOCRaTEs. Section Installation and ...