@article{
	11391_1530875,
	author = {Gadducci, F. and Santini, F.},
	title = {Distributivity and residuation for lexicographic orders},
	year = {2022},
	journal = {INFORMATION PROCESSING LETTERS},
	volume = {177},
	keywords = {Formal methods; Lexicographic orders; Residuation theory; Soft constraints},
	doi = {10.1016/j.ipl.2022.106271}
}

{"_id":"GaMg85NfX8KmFobas","bibbaseid":"gadducci-santini-distributivityandresiduationforlexicographicorders-2022","author_short":["Gadducci, F.","Santini, F."],"bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Gadducci"],"firstnames":["F."],"suffixes":[]},{"propositions":[],"lastnames":["Santini"],"firstnames":["F."],"suffixes":[]}],"title":"Distributivity and residuation for lexicographic orders","year":"2022","journal":"INFORMATION PROCESSING LETTERS","volume":"177","keywords":"Formal methods; Lexicographic orders; Residuation theory; Soft constraints","doi":"10.1016/j.ipl.2022.106271","bibtex":"@article{\n\t11391_1530875,\n\tauthor = {Gadducci, F. and Santini, F.},\n\ttitle = {Distributivity and residuation for lexicographic orders},\n\tyear = {2022},\n\tjournal = {INFORMATION PROCESSING LETTERS},\n\tvolume = {177},\n\tkeywords = {Formal methods; Lexicographic orders; Residuation theory; Soft constraints},\n\tdoi = {10.1016/j.ipl.2022.106271}\n}\n","author_short":["Gadducci, F.","Santini, F."],"key":"11391_1530875","id":"11391_1530875","bibbaseid":"gadducci-santini-distributivityandresiduationforlexicographicorders-2022","role":"author","urls":{},"keyword":["Formal methods; Lexicographic orders; Residuation theory; Soft constraints"],"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"https://cybersecuritylab.unipg.it/temp_files/global.bib","dataSources":["PCdRvyaDZRZMeqKhf","yGqLYKsFAdrsaxQTE","T6HLi2LBH4teAezac","GzaaptsCYT6EsbHLH","95eQTB35r2FbiAE84","baMCJGKG3xNXovcNt","uHXRGRkKR5qGHm3T3","TjHda4WWrNt47YJxj","2v4TYBctnqwM5hYP3","rGZvQ6FSbffzkmNxZ","pLqJEZNmpJf9LgT89","CmkbfWyWhhYHfy5Ax","mvQAXTG8b2qi3namf","JSmiFWpJ3BCsGztsi"],"keywords":["formal methods; lexicographic orders; residuation theory; soft constraints"],"search_terms":["distributivity","residuation","lexicographic","orders","gadducci","santini"],"title":"Distributivity and residuation for lexicographic orders","year":2022}