ack arit_exp associative blocks blocks.mod blocks.modi credit deep_rev game huffman p plan plan.mod plan.modi pql queens sicstus1 sicstus2 sicstus3 sicstus4 sublist vangelder yale_s_p .
cTI,
Fred Mesnard
(Université de La Réunion),
Ulrich Neumerkel
(Technische Universität Wien)