Ralf Steinbrüggen. Programs Viewed as SKOLEM Functions. In Manfred Broy, Martin Wirsing, editors, Method of Programming, Selected Papers on the CIP-Project. Volume 544 of Lecture Notes in Computer Science, pages 125-134, Springer, 1991.
@inproceedings{Steinbruggen91, title = {Programs Viewed as SKOLEM Functions}, author = {Ralf Steinbrüggen}, year = {1991}, researchr = {https://researchr.org/publication/Steinbruggen91}, cites = {0}, citedby = {0}, pages = {125-134}, booktitle = {Method of Programming, Selected Papers on the CIP-Project}, editor = {Manfred Broy and Martin Wirsing}, volume = {544}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-54576-X}, }