B. Baum, and P. Forbig. Programming Language Implementation and Logic Programming (PLILP
'91), volume 528 of Lect. Notes in Comp. Sci., page 427--428. (1991)system demonstration.
A. An, and T. Wakayama. Fifth International Conference on Electronic Publishing, page 361--372. Darmstadt, Germany, Origination, Dissemination, and Design (EPODD) EP '94, (1994)