Marija Kulas, Christoph Beierle
Defining Standard Prolog in Rewriting Logic
WRLA, 2000.
@article{WRLA-2000-KulasB,
author = "Marija Kulas and Christoph Beierle",
doi = "10.1016/S1571-0661(05)80121-5",
journal = "{Electronic Notes in Theoretical Computer Science}",
pages = "158--174",
title = "{Defining Standard Prolog in Rewriting Logic}",
volume = 36,
year = 2000,
}