ASPforABA - ASP-based Algorithms for Reasoning in ABA

Tuomo Lehtonen, Johannes Peter Wallner, Matti Järvisalo

Research output: Other contribution

Search results