@InProceedings{i92-p488-497,
  AUTHOR    = {Daniel~Dominic Sleator},
  TITLE     = {Data Structures and Terminating Petri Nets},
  YEAR      = 1992,
  BOOKTITLE = {Proc.~of the 1st Latin American Symposium on Theoretical Informatics (LATIN'92)},
  ADDRESS   = {S\~ao Paulo, Brazil},
  PAGES     = {488--497},
  KEYWORDS  = {}}