Proof Logging for Smart Extensional Constraints

Published in CP 2023, 2023

Download Paper | Download Bibtex