阿努杰·达瓦尔 菲利普·加德纳 乔治·盖利 图形逻辑的表达性和复杂性。 263-310 2007 205 Inf.计算。 三 https://doi.org/10.1016/j.ic.2006.10.006 https://www.wikidata.org/entity/Q58215601 db/journals/iandc/iandc205.html#DawarGG07