Foundations of logic programming in hybridised logics Conference Paper uri icon

publication date

  • January 1, 2015