4 papers:
SEFM-2015-KringsBL #proving- From Failure to Proof: The ProB Disprover for B and Event-B (SK, JB, ML), pp. 199–214.
CAV-2015-KuwaharaSU0 #abstraction #functional #higher-order #source code #termination- Predicate Abstraction and CEGAR for Disproving Termination of Higher-Order Functional Programs (TK, RS, HU, NK), pp. 287–303.
SAC-2003-BeitzelJCFGG #analysis #data fusion #effectiveness #information retrieval- Disproving the Fusion Hypothesis: An Analysis of Data Fusion via Effective Information Retrieval Strategies (SMB, ECJ, AC, OF, DAG, NG), pp. 823–827.
CADE-1992-Protzen- Disproving Conjectures (MP), pp. 340–354.
