| Original language | English |
|---|---|
| Place of Publication | onbekend |
| Publisher | Vrije Universiteit Amsterdam |
| Publication status | Published - 1999 |
Publication series
| Name | Technical Report IR-461 |
|---|
Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver
Two-dimensional labelled deduction.
- M.J. Marx
- , S. Schlobach
- , S. Mikulas
Research output: Book / Report › Report › Professional