Freiheit, Jörn Automation of Logic, MPI for Informatics, Max Planck Society;
Freiheit, J., Luuk, M., Münch, S., Sijanski, G., & Zangl, F. (2006). Lexecute: Visualisation and representation of legal procedures. Digital Evidence Journal, 3(1), 17-27. Retrieved from http://www.digitalevidencejournal.org/vol31.html.