<https://hal.archives-ouvertes.fr/hal-02098911#id>	<http://purl.org/ontology/bibo/doi>	"10.29007/1l5r" .
<https://hal.archives-ouvertes.fr/hal-02098911#id>	<http://purl.org/dc/terms/title>	"Symmetry breaking in a new stable model search method" .
<https://hal.archives-ouvertes.fr/hal-02098911#id>	<http://id.loc.gov/vocabulary/relators/aut>	<http://www.idref.fr/251161064/id> .
<https://hal.archives-ouvertes.fr/hal-02098911#id>	<http://id.loc.gov/vocabulary/relators/aut>	<http://www.idref.fr/070685347/id> .
<https://hal.archives-ouvertes.fr/hal-02098911#id>	<http://purl.org/dc/terms/bibliographicCitation>	"Khaled Tarek, Benhamou Bela\u00EFd. Symmetry breaking in a new stable model search method. LPAR-22 Paper Proceedings, Nov 2018, Awassa, Ethiopia. pp.58-40, &#x27E8;10.29007/1l5r&#x27E9;" .
<https://hal.archives-ouvertes.fr/hal-02098911#id>	<http://purl.org/dc/elements/1.1/date>	"2018" .