Alison Pease

home research  papers  phd hrl

back

@INPROCEEDINGS{colton:ijcar04,
AUTHOR = "Colton, S and Pease, A",
TITLE = "The {T}{M} System for Repairing Non-Theorems",
BOOKTITLE = "Selected papers from the IJCAR'04 disproving workshop, Electronic Notes in Theoretical Computer Science",
PAGES ={13-26},
VOLUME = "125(3)",
PUBLISHER = "Elsevier",
YEAR = "2005"}