鲁卡·凯德利 菲利普·加德纳 乔治·盖利 查询图形的空间逻辑。 597-610 2002 conf/icalp/2002 ICALP公司 https://doi.org/10.1007/3-540-45465-9_51 db/conf/icalp/icalp2002.html#CardelliGG02