@inproceedings{bca6c76b572a46a7b484962414c13c13,
title = "Lakatos-style automated theorem modification",
author = "Simon Colton and Alison Pease",
year = "2004",
language = "English",
isbn = "1586034529",
series = "Frontiers in artificial intelligence and applications",
publisher = "IOS Press",
pages = "977--978",
editor = "{L{\'o}pez de M{\'a}ntaras}, Ramon and Saitta, {Lorenza }",
booktitle = "ECAI 2004",
address = "Netherlands",
note = "16th European Conference on Artificial Intelligence ; Conference date: 22-08-2004 Through 27-08-2004",
url = "http://www.eccai.org/ecai.shtml",
}