@InProceedings{l95-p195-206,
  AUTHOR    = {B.~R. Callejas~Bedregal and B.~M. Acioly},
  TITLE     = {Logic of {P}lotkin Continuous Domain},
  YEAR      = 1995,
  BOOKTITLE = {Proc.~of the 2nd Latin American Symposium on Theoretical Informatics (LATIN'95)},
  ADDRESS   = {Valparaiso, Chile},
  PAGES     = {195--206},
  KEYWORDS  = {}}