Record Beta
LPAR 2020
https://id.confref.org/data/confident/11988
This record is part of the confref event 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning.
Beta confref labs is under development. Identifiers are stable; pages, data and services can change.