Stephen A. Fenner;Steven Homer;Mitsunori Ogiwara;Alan L. Selman
-;-;-;-
The quasilinear isomorphism challenge
ACM SIGACT News
The complexity of logic-based abduction
Journal of the ACM (JACM)
Functions Computable with Nonadaptive Queries to NP
Theory of Computing Systems