Atserias, Albert, Refining logical characterization of advice complexity classes, 157-168, 1997, Πανεπιστήμιο Κύπρου,