1. Cyclist framework download,
http://www.cs.ucl.ac.uk/staff/ngorogia/
2. Lecture Notes in Artificial Intelligence;J. Avenhaus,2003
3. Lecture Notes in Computer Science;J. Berdine,2006
4. Lecture Notes in Artificial Intelligence;J. Brotherston,2005
5. Brotherston, J.: Sequent Calculus Proof Systems for Inductive Definitions. Ph.D. thesis, University of Edinburgh (November 2006)