@inproceedings{conf/iwpc/RatiuD06,
title = {Programs are Knowledge Bases.},
author = {Daniel Ratiu and Florian Deissenboeck},
booktitle = {ICPC},
crossref = {conf/iwpc/2006},
pages = {79-83},
publisher = {IEEE Computer Society},
url = {http://dblp.uni-trier.de/db/conf/iwpc/icpc2006.html#RatiuD06},
year = {2006},
description = {dblp},
ee = {http://doi.ieeecomputersociety.org/10.1109/ICPC.2006.41}, isbn = {0-7695-2601-2}, date = {2007-01-18},
keywords = {dblp }
}
::