An Extended Warren Abstract Machine for the Execution of Structured Logic Programs

@article{extended-jlp1992,
   apice = {ExtendedJlp1992},
   author = {Evelina Lamma and Paola Mello and Natali, Antonio},
   doi = {10.1016/0743-1066(92)90011-Q},
   issn = {0743-1066},
   journal = {The Journal of Logic Programming},
   number = {3-4},
   numpages = 36,
   pages = {187--222},
   publisher = {Elsevier BV},
   title = {An Extended Warren Abstract Machine for the Execution of Structured Logic Programs},
   volume = 14,
   year = 1992
}