Contexts as First-Class Objects: An Implementation based on the SICStus Prolog System

@inproceedings{ctxlp-gulp92,
   apice = {CtxlpGulp92},
   author = {Denti, Enrico and Natali, Antonio and Omicini, Andrea},
   booktitle = {7th Italian Conference on Logic Programming (GULP'92)},
   editor = {Costantini, Stefania},
   lens = {037-141-965-224-660},
   location = {Tremezzo, Como, Italy},
   month = {17--19 } # jun,
   openalex = {W115270588},
   pages = {307--320},
   publisher = {Città Studi, Milano, Italy},
   title = {Contexts as First-Class Objects: An Implementation based on the {SICS}tus {P}rolog System},
   year = 1992
}