| Original language | Undefined/Unknown |
|---|---|
| Title of host publication | Proceedings of 13th Annual IEEE Symposium on Logic in Computer Science |
| Pages | 28-43 |
| Publication status | Published - 1998 |
| Externally published | Yes |
| Publication type | A4 Article in conference proceedings |
Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver