@inproceedings{fernandez+:toyfd-operational-semantics-cp03,
address = {Kinsale, Ireland},
author = {A.J.~Fern\'{a}ndez and M.T.~Hortal\'{a}-Gonz\'{a}lez and F.~S\'{a}enz-P\'{e}rez},
booktitle = {Principles and Practice of Constraint Programming ({CP'2003})},
editor = {F. Rossi},
isbn = {3-540-20202-1},
number = {2833},
pages = {827-831},
publisher = {Springer-Verlag},
series = {LNCS},
title = {{TOY(FD)}: {S}ketch of {O}perational {S}emantics},
projects = {},
butype = {inproceedings},
year = {2003}
}