Logic/Constraint Programming and Concurrency: The Hard-Won Lessons of the Fifth Generation Computer Project.

Kazunori Ueda

Browse the full FLOPS paper archive.