Complexity of Linear Standard Theories.

Christopher Lynch, Barbara Morawska

Browse the full LPAR paper archive.