diff --git a/INSTALL b/INSTALL
index 6bfba99d957a482cbe9b314c96c739a8c054d7c1..b7279969168477eefb48e20981d03c5eeb1a545a 100644
--- a/INSTALL
+++ b/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