Summary
A formalization of the modelling language for machine-based reasoning.
More information & hyperlinks