![]() |
@inproceedings{DBLP:conf/iclp/DovierOPR91,
author = {Agostino Dovier and
Eugenio G. Omodeo and
Enrico Pontelli and
Gianfranco Rossi},
title = {\{log\}: A Logic Programming Language with Finite Sets},
booktitle = {ICLP},
year = {1991},
pages = {111-124},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Copyright © 2002-01-03 by Michael Ley (ley@uni-trier.de)