TY  - GEN
TY  - GEN
T1  - On chains of world equations and test sets
T2  - TUCS technical report
A1  - Honkala, Juha, 1960-
LA  - eng
PP  - Turku
PB  - Turku Centre for Computer Science
YR  - 1999
UL  - https://kansalliskirjasto.finna.fi/Record/fikka.3889867
SN  - 952-12-0451-6 nidottu
ER  -