Complexity of First Order ID-Logic.

John S. Schlipf, Marc Denecker

Browse the full ISAIM paper archive.