Favio Ezequiel Miranda-Perea: On extensions of AF2 with monotone and clausular (Co)inductive definitions. Ludwig Maximilian University of Munich, Germany 2004, 1-200