Kakehi, K.,
Glück, Robert &
Futamura, Y.,
2002,
Logic Based Program Synthesis and Transformation. Pettorossi, A. (red.).
Springer Verlag,
s. 46-56 (Lecture notes in computer science, Bind 2372).
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt