Roberta Calegari

Latest

• Extending logic programming with labelled variables: Model and semantics
• Labelled variables in logic programming: Foundations