Foundations of logic programming in hybrid logics with user-defined sharing Academic Article uri icon

publication date

  • 2017