@InProceedings{l92-p262-271,
  AUTHOR    = {Ulrich Hertrampf},
  TITLE     = {Locally Definable Acceptance Types - The Three-Valued Case},
  YEAR      = 1992,
  BOOKTITLE = {Proc.~of the 1st Latin American Symposium on Theoretical Informatics (LATIN'92)},
  ADDRESS   = {S\~ao Paulo, Brazil},
  PAGES     = {262--271},
  KEYWORDS  = {}}