@inproceedings{conf/aisc/Bundy08,
title = {Automating Signature Evolution in Logical Theories.},
author = {Alan Bundy},
booktitle = {AISC/MKM/Calculemus},
crossref = {conf/aisc/2008},
editor = {Serge Autexier and John Campbell and Julio Rubio and Volker Sorge and Masakazu Suzuki and Freek Wiedijk},
pages = {333-338},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
url = {http://dblp.uni-trier.de/db/conf/aisc/aisc2008.html#Bundy08},
volume = {5144},
year = {2008},
description = {dblp},
date = {2008-08-04}, ee = {http://dx.doi.org/10.1007/978-3-540-85110-3_29}, isbn = {978-3-540-85109-7},
keywords = {dblp }
}
::