Towards Automated Property Discovery within Hume.

Gudmund Grov, Andrew Ireland

Browse the full CADE paper archive.