Ursula Martin, Tobias Nipkow
Research output: Other contribution
}
TY - GEN
T1 - Automating Squiggol
AU - Martin, Ursula
AU - Nipkow, Tobias
PY - 1989
Y1 - 1989
M3 - Other contribution
ER -