DMCA

Conjecture Synthesis for Inductive Theories (2010)

by Moa Johansson , Lucas Dixon , Alan Bundy
Venue:JOURNAL OF AUTOMATED REASONING
Citations:26 - 10 self