Index: /ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFChoice.java
===================================================================
--- /ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFChoice.java	(revision 412)
+++ /ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFChoice.java	(revision 413)
@@ -14,6 +14,6 @@
 /**
  * Contains a Choice and the ChoiceItems.
- * {@link RSFChoice#toPureBooleanConstraintSyntaxTree(RSFReader)} assures, that only one variable of the choice is
- * selected.
+ * @see <a href="https://projects.sse.uni-hildesheim.de/agilo/ModelTranslator/wiki/
+ *Specification/RSF2DIMACS#TranslationofChoices">Specifikation</a>
  * 
  * @author Adam Krafczyk
Index: /ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFDefaultAndPromptCondition.java
===================================================================
--- /ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFDefaultAndPromptCondition.java	(revision 412)
+++ /ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFDefaultAndPromptCondition.java	(revision 413)
@@ -16,4 +16,7 @@
  * item and then constructs constraints from them.
  * 
+ * @see <a href="https://projects.sse.uni-hildesheim.de/agilo/ModelTranslator/wiki/
+ *Specification/RSF2DIMACS#Defaultsandprompts">Specifikation</a>
+ *
  * @author Adam Krafczyk
  */
Index: /ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFDependsCondition.java
===================================================================
--- /ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFDependsCondition.java	(revision 412)
+++ /ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFDependsCondition.java	(revision 413)
@@ -13,21 +13,7 @@
 /**
  * Represents a condition read from a "Depends" line in a .rsf file.
- * The format looks like this: <br />
- * <code>
- * Depends <i>variable</i> <i>condition</i>
- * </code> <br />
- * <i>variable</i> can only be true, if <i>condition</i> is true. <br />
- * {@link RSFDependsCondition#getPureBooleanConstraintSyntaxTree(AbstractReader, String, String)} will convert it into:
- * <br />
- * <code>
- * NOT <i>variable</i> OR <i>condition</i>
- * </code> <br />
- * If condition contains a tristate variable and <i>variable</i> is a tristate variable, the following condition will
- * be added: <br />
- * <code>
- * NOT <i>variable_MODULE</i> OR <i>condition_variable_MODULE</i>
- * </code> <br />
- * TODO: what if it contains several tristate variables?
- * 
+ * @see <a href="https://projects.sse.uni-hildesheim.de/agilo/ModelTranslator/
+ *wiki/Specification/RSF2DIMACS#TranslationofdependsConstraints">Specifikation</a>
+ *
  * @author Adam Krafczyk
  */
Index: /ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFItemSelectsCondition.java
===================================================================
--- /ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFItemSelectsCondition.java	(revision 412)
+++ /ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFItemSelectsCondition.java	(revision 413)
@@ -12,18 +12,8 @@
 /**
  * Represents a condition read from a "ItemSelects" line in a .rsf file. <br />
- * The format looks like this: <br />
- * <code>
- * ItemSelects <i>variable</i> <i>selectedVaraible</i> <i>condition</i>
- * </code> <br />
- * <i>selectedVaraible</i> has to be set to true, if <i>variable</i> and <i>condition</i> are true. <br />
- * {@link RSFItemSelectsCondition#getPureBooleanConstraintSyntaxTree(AbstractReader, String, String)} will convert it
- * to: <br />
- * <code>
- * NOT <i>variable</i> OR NOT <i>condition</i> OR <i>selectedVaraible</i>
- * </code> <br />
- * or, if condition is "y", to: <br />
- * <code>
- * NOT <i>variable</i> OR <i>selectedVaraible</i>
- * </code> <br />
+ * 
+ * @see <a href="https://projects.sse.uni-hildesheim.de/agilo/ModelTranslator/wiki/
+ *Specification/RSF2DIMACS#TranslationofItemSelectsConstraints">Specifikation</a>
+ * 
  * @author Adam Krafczyk
  */
Index: /ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFModuleCondition.java
===================================================================
--- /ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFModuleCondition.java	(revision 412)
+++ /ModelTranslator/src/de/uni_hildesheim/sse/trans/in/rsf/RSFModuleCondition.java	(revision 413)
@@ -13,4 +13,7 @@
 /**
  * A condition to ensure that either VAR_MODULE or VAR is true.
+ * 
+ * @see <a href="https://projects.sse.uni-hildesheim.de/agilo/ModelTranslator/wiki/
+ *Specification/RSF2DIMACS#TranslationofTristateVariables">Specifikation</a>
  * 
  * @author Adam Krafczyk