Proof Logging for Smart Extensional Constraints Published in CP 2023, 2023 Download Paper | Download Bibtex Bluesky Facebook LinkedIn X (formerly Twitter) Previous Next