Logic and computational complexity international workshop, LCC '94, Indianapolis, IN, USA, October 13-16, 1994 : selected papers - Leivant, Daniel Maurice Raphael (Lecture notes in computer science, 1995)