Universal Quantification by Case Analysis

TitleUniversal Quantification by Case Analysis
Publication TypeConference Paper
Year of Publication1990
AuthorsBrogi, A, Mancarella P, Pedreschi D, Turini F
Conference NameECAI
  • Biblio Keywords: