Christian Gottschall, Viena, nos ha cedido los applets y aplicaciones de lógica que están implementadas en Cibernous.
http://logik.phl.univie.ac.at/~chris/formular-uk.html