<https://hal.archives-ouvertes.fr/hal-01479548#id>	<http://id.loc.gov/vocabulary/relators/aut>	<http://www.idref.fr/070685347/id> .
<https://hal.archives-ouvertes.fr/hal-01479548#id>	<http://purl.org/dc/terms/bibliographicCitation>	"Benhamou Bela\u00EFd, Paris Lionel, Siegel Pierre . Dealing with Satisfiability and n-ary CSPs in a logical framework . Journal of Automated Reasoning, 2012, 48 (3), pp.391-417" .
<https://hal.archives-ouvertes.fr/hal-01479548#id>	<http://id.loc.gov/vocabulary/relators/aut>	<http://www.idref.fr/123792274/id> .
<https://hal.archives-ouvertes.fr/hal-01479548#id>	<http://id.loc.gov/vocabulary/relators/aut>	<http://www.idref.fr/03323924X/id> .
<https://hal.archives-ouvertes.fr/hal-01479548#id>	<http://purl.org/dc/elements/1.1/date>	"2012" .
<https://hal.archives-ouvertes.fr/hal-01479548#id>	<http://purl.org/dc/terms/title>	"Dealing with Satisfiability and n-ary CSPs in a logical framework" .
<https://hal.archives-ouvertes.fr/hal-01479548#id>	<http://purl.org/dc/terms/bibliographicCitation>	"Benhamou Bela\u00EFd, Paris Lionel, Siegel Pierre. Dealing with Satisfiability and n-ary CSPs in a logical framework. Journal of Automated Reasoning, Springer Verlag, 2012, 48 (3), pp.391-417" .