|
editor={Dix, J. and Furbach, U. and Nerode, A.},
title={Logic Programming and Nonmonotonic Reasoning},
volume={1265},
year={1997},
series={Lecture Notes in Artificial Intelligence},
publisher={Springer},
address={Berlin},
isbn={3-540-63255-7},
url={http://www.springer.com/sgw/cda/frontpage/0,11855,1-147-22-1498363-0,00.html},
picture={http://www.in.tu-clausthal.de/fileadmin/homes/CIG/covers/picdixfurner97.png},
}
|