@article{journals/jcst/Denney98,
  added-at = {2011-05-16T00:00:00.000+0200},
  author = {Denney, Ewen},
  biburl = {http://www.bibsonomy.org/bibtex/2326e67c08f9c4acc6d8d8a7caa815012/dblp},
  ee = {http://dx.doi.org/10.1007/BF02946491},
  interhash = {7a0a02f442f7cdf0a2a60fb7663268bd},
  intrahash = {326e67c08f9c4acc6d8d8a7caa815012},
  journal = {J. Comput. Sci. Technol.},
  keywords = {dblp},
  number = 6,
  pages = {491-508},
  timestamp = {2011-05-16T00:00:00.000+0200},
  title = {Simply-typed underdeterminism.},
  url = {http://dblp.uni-trier.de/db/journals/jcst/jcst13.html#Denney98},
  volume = 13,
  year = 1998
}