. . . . . “Thierry Boy de la Tour和Mnacho Echenim：分层演绎问题的NP-完备性结果”（2003）。 . . _：ID_6abac947b0bd22e050f36f00ab65a71f。_：ID_6abac947b0bd22e050f36f00ab65a71f ._：ID_6abac947b0bd22e050f36f00ab65a71f ._：ID_6abac947b0bd22e050f36f00ab65a71f“conf/lpar/TourE03”。 _：ID_991a01bcb84027a3dc9fa6e1873eaf79。_：ID_991a01bcb84027a3dc9fa6e1873eaf79 ._：ID_991a01bcb84027a3dc9fa6e1873eaf79 ._：ID_991a01bcb84027a3dc9fa6e1873eaf79"10.1007/978-3-540-39813-4_23" . “NP-分层条件下演绎问题的完整性结果”。 . . . "2"^^. _：Sig_22b4994199fa0c9c08ed3efa94a290db_1。_：信号_22b4994199fa0c9c08ed3efa94a290db_1 ._：信号_22b4994199fa0c9c08ed3efa94a290db_1“Thierry Boy de la Tour”。_：Sig_22b4994199fa0c9c08ed3efa94a290db_1 ._：Sig_22b4994199fa0c9c08ed3efa94a290db_1"1"^^._：Sig_22b4994199fa0c9c08ed3efa94a290db_1 . _：Sig_22b4994199fa0c9c08ed3efa94a290db_2。_：Sig_22b4994199fa0c9c08ed3efa94a290db_2 ._：Sig_22b4994199fa0c9c08ed3efa94a290db_2“Mnacho Echenim”。_：Sig_22b4994199fa0c9c08ed3efa94a290db_2 ._：Sig_22b4994199fa0c9c08ed3efa94a290db_2"2"^^._：Sig_22b4994199fa0c9c08ed3efa94a290db_2 . . . . "317-331" . “LPAR”。 “LPAR”。 "2003"^^. "2003"^^. . “dblp记录'conf/lpar/TourE03'的RDF数据的来源信息”。 . . . “2017-05-23T01:12:11+0200”。