Frédéric Mesnard Marianne Morillon Automatic Generation of Valid Linear Measures for CLP(Q) Programs. 29-34 1992 WSA db/conf/sas/wsa92.html#MesnardM92