@ARTICLE{LeuschelPodelski2004,
AUTHOR = {Podelski, Andreas},
TITLE = {Introduction to the Special Issue on Verification and Computational Logic},
JOURNAL = {Theory and Practice of Logic Programming (TPLP)},
PUBLISHER = {Cambridge University Press},
YEAR = {2004},
NUMBER = {5-6},
VOLUME = {4},
PAGES = {541--751},
ADDRESS = {Cambridge, UK},
ISBN = {1471-0684},
}
Entry last modified by Uwe Brahm, 01/28/2008