TY - RPRT TI - Discovering Knowledge using a Constraint-based Language AU - Patrice Boizumault AU - Bruno Crémilleux AU - Mehdi Khiari AU - Samir Loudni AU - Jean-Philippe Métivier PY - 2011 UR - https://arxiv.org/abs/1107.3407 ID - 1107.3407 ER -