U. Kastens. Programming Language Implementation and Logic Programming (PLILP
'93), volume 714 of Lect. Notes in Comp. Sci., page 1--11. Tallinn, Springer-Verlag, (1993)
U. Kastens, P. Pfahler, and M. Jung. Compiler Construction CC'98, volume 1383 of Lect. Notes in Comp. Sci., portugal, Springer-Verlag, (April 1998)tool demonstration.