Extend INSTALL by examples

INSTALL

@@ -27,4 +27,26 @@ Benchmarking
 You should remove the debug flag (-g) from the Makefile and recompile before
 doing time measurements.
 
+Examples
+--------
+
+Coalition Logic
+~~~~~~~~~~~~~~~
+Some formulas are
+
+  [{1}] C & [{ 2 }] ~C
+  [{1}] C & <{ 2 }> ~C
+  [{1}] C & <{ 1 2 }> ~C
+  <{ 1 2 }> C & <{ 1 2 3 4 5 6 7 8 9 10 }> ~C
+  <{ 1 2 }> C & <{ 1 2 3 4 5 6 7 8 9 }> ~C
+  <{ 1 2 }> C & <{ 1 2 }> ~C
+  <{ 1 2 }> C & [{ 1 2 }] ~C
+  <{ 1 2 }> C & [{ 1 2 }] ~C
+
+So call for example:
+
+  ./coalg sat CL  <<< '<{ 1 2 }> C & [{ 1 2 }] ~C'
+
+
+
 // vim: ft=asciidoc tw=80