Frédéric Mesnard, Marianne Morillon. Automatic Generation of Valid Linear Measures for CLP(Q) Programs. In WSA. pages 29-34, 1992.
@inproceedings{MesnardM92, title = {Automatic Generation of Valid Linear Measures for CLP(Q) Programs}, author = {Frédéric Mesnard and Marianne Morillon}, year = {1992}, researchr = {https://researchr.org/publication/MesnardM92}, cites = {0}, citedby = {0}, pages = {29-34}, booktitle = {WSA}, }