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