GABIL

The GABIL system was developed in 1993 by DeJong, Spears, and Gordon.
Learn disjunctive set of propositional rules, competitive with C4.5.
Fitness: \[ Fitness(h) = (correct(h))^2 \]
Representation: the hypothesis consisting of the rules

IF $a_1 = T \wedge a_2 = F$ THEN $c = T$; IF $a_2 = T$ THEN $c=F$
is represented by the string

$a_1$ $a_2$ $c$ $a_1$ $a_2$ $c$

10 01 1 11 10 0
Notice that this means we will have variable-length bitstrings.