ASPforABA - ASP-based Algorithms for Reasoning in ABA

Tuomo Lehtonen, Johannes Peter Wallner, Matti Järvisalo

Research output: Other contribution

Original languageEnglish
TypeSystem description
Number of pages2
Publication statusPublished - 2023

Cite this