@conference{Meseguer95,
author = "P. Meseguer and J. Larrosa",
address = "ijcai95l",
booktitle = "ijcai95p",
pages = "579-584",
title = "{C}onstraint satisfaction as {G}lobal {O}ptimization",
year = "1995",
}