owl-casl-doc_en.tex revision 308834907a120fd8771e18292ed2ca9cd767c12d
7bb0a9e92bc7a6f868eaa0b9c3212c0af4f96b7fEugen Kuksatree 308834907a120fd8771e18292ed2ca9cd767c12d:
7bb0a9e92bc7a6f868eaa0b9c3212c0af4f96b7fEugen KuksaConstraintCASL/
7bb0a9e92bc7a6f868eaa0b9c3212c0af4f96b7fEugen KuksaCspCASLProver/