Formal Theory Building Using Automated Reasoning Tools.

Jaap Kamps

Browse the full KR paper archive.