Login / Signup

CLAIRE: Combining sets, search and rules to better express algorithms.

Yves CaseauFrançois-Xavier JossetFrançois Laburthe
Published in: Theory Pract. Log. Program. (2002)
Keyphrases