Agostino Dovier, Andrea Formisano, Alberto Policriti
On T Logic Programming
ICLP, 1997.
@inproceedings{ILPS-1997-DovierFP,
author = "Agostino Dovier and Andrea Formisano and Alberto Policriti",
booktitle = "{Proceedings of the International Symposium on Logic Programming}",
isbn = "0-262-63180-6",
pages = "323--337",
publisher = "{MIT Press}",
title = "{On T Logic Programming}",
year = 1997,
}