@INPROCEEDINGS{BoergerSchmitt90,
        AUTHOR       = {Egon B\"{o}rger and Peter~H.~Schmitt},
        BOOKTITLE    = {Proceedings of Computer Science Logic, Heidelberg},
        PAGES        = {67 -- 79},
        PUBLISHER    = {Springer Verlag},
        SERIES       = {Lecture Notes in Computer Science},
        TITLE        = {A formal operational semantics for {P}rolog {III} 
                        using dynamic algebras},
        VOLUME       = {533},
        YEAR         = {1990}
}