Automated Discovery of Inductive Theorems

Roy McCasland, Alan Bundy, Autexier Serge

Research output: Contribution to journalArticlepeer-review

Search results