Egon Börger, Peter H. Schmitt. A Formal Operational Semantics for Languages of Type Prolog III. In Egon Börger, Hans Kleine Büning, Michael M. Richter, Wolfgang Schönfeld, editors, Computer Science Logic, 4th Workshop, CSL 90, Heidelberg, Germany, October 1-5, 1990, Proceedings. Volume 533 of Lecture Notes in Computer Science, pages 67-79, Springer, 1990.
@inproceedings{BorgerS90,
title = {A Formal Operational Semantics for Languages of Type Prolog III},
author = {Egon Börger and Peter H. Schmitt},
year = {1990},
tags = {semantics, Prolog, formal semantics, operational semantics},
researchr = {https://researchr.org/publication/BorgerS90},
cites = {0},
citedby = {0},
pages = {67-79},
booktitle = {Computer Science Logic, 4th Workshop, CSL 90, Heidelberg, Germany, October 1-5, 1990, Proceedings},
editor = {Egon Börger and Hans Kleine Büning and Michael M. Richter and Wolfgang Schönfeld},
volume = {533},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-54487-9},
}