CTT and v SLWE [FCMP 000228/2009] | BabelCite