Logic and computational complexity : selected papers - Leivant, Daniel (Lecture notes in computer science, 1995)