Jørgen Fischer Nilsson. Formal Vienna-Definition-Method Models of Prolog. In Implementations of Prolog. pages 281-308, 1984.
@incollection{Nilsson84a:0,
title = {Formal Vienna-Definition-Method Models of Prolog},
author = {Jørgen Fischer Nilsson},
year = {1984},
tags = {Prolog},
researchr = {https://researchr.org/publication/Nilsson84a%3A0},
cites = {0},
citedby = {0},
pages = {281-308},
booktitle = {Implementations of Prolog},
}