Faster decision of first-order graph properties.

Ryan Williams

Browse the full CSL paper archive.