Labelled Variables in Logic Programming: Foundations

@inproceedings{lvlp-cilc2016,
   address = {Milano, Italy},
   author = {Calegari, Roberta and Denti, Enrico and Dovier, Agostino and Omicini, Andrea},
   booktitle = {CILC 2016 – Italian Conference on Computational Logic. Proceedings of the 31st Italian Conference on Computational Logic},
   dblp = {conf/cilc/CalegariDDO16},
   editor = {Fiorentini, Camillo and Momigliano, Alberto},
   iris = {11585/562441},
   issn = {1613-0073},
   keywords = {labelled logic programming; labelled systems; formal semantics},
   month = {20-22~} # jun,
   note = {Proceedings of the 31st Italian Conference on Computational Logic},
   pages = {5--20},
   publisher = {CEUR-WS},
   scopus = {2-s2.0-84985916728},
   series = {CEUR Workshop Proceedings},
   subseries = {AI*IA Series},
   title = {Labelled Variables in Logic Programming: Foundations},
   url = {http://ceur-ws.org/Vol-1645/paper_7.pdf},
   volume = 1645,
   year = 2016
}