It seems to be one of the most interesting applications with
nontrivial representations and rather complex constraint
systems with many unsolved problems that might lead to new
control structures.
Converted into html by Alessandro Enea
Mon May 15 09:37:34 DFT 1995