@InProceedings{islip1994_084,
   author      = {P. Rondogiannis and William W. Wadge},
   title       = {{Transforming First-order Functional Programs to Intensional Programs of Nullary Variables: Theoretical Foundations}},
   editor      = {Edward A. Ashcroft},
   booktitle   = {{Proceedings of the 7th International Symposium on Lucid and Intensional Programming}},
   year        = {1994},
   pages       = {84--93},
   publisher   = {SRI International},
   address     = {Menlo Park, California},
   doi         = {\url{http://plaice.web.cse.unsw.edu.au/archive/islip/1994/islip1994_084.pdf}},
   note        = {Held {26--27 September 1994}},
}