Return to Article Details Formal specification and modeling of a project-oriented fractal company using situation calculus Download Download PDF