jdh.hamkins.org
The complexity of quickly decidable ORM-decidable sets
[bibtex key=HamkinsLinetskyMiller2007:ComplexityOfQuicklyDecidableORMSets]