Satisfiability is quasilinear complete in NQL (1999)

by R Santhanam